max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: CI: macOS job

Browse source
This commit is contained in:
Sebastian Ullrich 2020-11-24 17:10:16 +01:00
parent 6be577b634
commit e9bb7c1175
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/ci.yml vendored
View file

@ -53,6 +53,9 @@ jobs:
uses: actions/checkout@v2
- name: Install Nix
uses: cachix/install-nix-action@v12
with:
# used only for providing a more recent `bash` on macOS
nix_path: nixpkgs=channel:nixos-unstable
if: matrix.os != 'windows-latest'
- name: Install MSYS2
uses: msys2/setup-msys2@v2