GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

CI: Use Nix 2.11.0

Browse Source 
Nix 2.4 does not work well with GitHub Actions' Ubuntu 22.04 runners, as seen
in cachix/install-nix-action#141.
This commit is contained in:
Ryan Scott 2022-12-13 06:44:16 -05:00
parent 1748341839
commit 95e2cdbe8b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/test.yml vendored
View File

@ -14,8 +14,8 @@ on:
# * GHC versions
# - specified in the strategy matrix
# - provided via nix: ensure the nix base and NIXPKGS used provide the requested GHC version
# * nix tool version 2.4
# - all nix operations use new tool suite and cmdline interface (available in 2.4) instead of older format
# * nix tool version 2.11.0
# - all nix operations use new tool suite and cmdline interface (available in 2.4+) instead of older format
# The CACHE_VERSION can be updated to force the use of a new cache if
# the current cache contents become corrupted/invalid. This can
@ -40,7 +40,7 @@ jobs:
uses: cachix/install-nix-action@v16
with:
nix_path: nixpkgs=channel:nixos-21.11
install_url: https://releases.nixos.org/nix/nix-2.4/install
install_url: https://releases.nixos.org/nix/nix-2.11.0/install
- uses: cachix/cachix-action@v10
with:
@ -69,7 +69,7 @@ jobs:
uses: cachix/install-nix-action@v16
with:
nix_path: nixpkgs=channel:nixos-21.11
install_url: https://releases.nixos.org/nix/nix-2.4/install
install_url: https://releases.nixos.org/nix/nix-2.11.0/install
- uses: cachix/cachix-action@v10
with: