idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 02:07:25 +03:00
Code Issues Projects Releases Wiki Activity

Update Nix version in CI

Browse Source 
Fixes

  invalid operation 96

errors
This commit is contained in:
Silvan Mosberger 2021-01-29 22:30:44 +01:00
parent 05c9029b35
commit 48b25debec
No known key found for this signature in database
GPG Key ID: E8F1E9EAD284E17D
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci-nix.yml vendored
View File

@ -17,7 +17,7 @@ jobs:
fetch-depth: 0
- uses: cachix/install-nix-action@v12
with:
install_url: https://github.com/numtide/nix-flakes-installer/releases/download/nix-3.0pre20200820_4d77513/install
install_url: https://github.com/numtide/nix-flakes-installer/releases/download/nix-2.4pre20210126_f15f0b8/install
extra_nix_config: |
experimental-features = nix-command flakes
- run: nix build