update nix version in CI

runtimeverification · Sep 10, 2024 · 9f89c63 · 9f89c63
1 parent 56d03ad
commit 9f89c63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -48,7 +48,7 @@ jobs:
       - name: 'Install Nix/Cachix'
         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.23.3/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}