update nix-action from templates

coq-community · Oct 15, 2023 · 059dd94 · 059dd94
1 parent 9db6b6f
commit 059dd94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
@@ -44,4 +44,4 @@ jobs:
         with:
           ref: ${{ env.tested_commit }}
       - run: >
-          nix-build https://coq.inria.fr/nix/toolbox --argstr job aac-tactics --arg override '{ ${{ matrix.overrides }}; aac-tactics = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'
+          nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job aac-tactics --arg override '{ ${{ matrix.overrides }}; aac-tactics = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'