Try newer version of nix

A newer version of nix should incorporate these fixes NixOS/nix#8049
runtimeverification · Mar 5, 2024 · 97f8ac1 · 97f8ac1
1 parent 07f9c96
commit 97f8ac1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -180,7 +180,7 @@ jobs:
         if: ${{ matrix.runner == 'macos-13' }}
         uses: cachix/install-nix-action@v19
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.19.3/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
             substituters = http://cache.nixos.org https://cache.iog.io