Fix link to Coq Nix Toolbox.

Now that HTTP redirects do not work anymore on coq.inria.fr.
coq-community · Oct 15, 2023 · 8eeba20 · 8eeba20
1 parent 60fffdd
commit 8eeba20
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.travis.yml.mustache b/.travis.yml.mustache
@@ -62,7 +62,7 @@ language: shell
   - cachix use math-comp
 {{/ cachix }}
   script: >
-    nix-build https://coq.inria.fr/nix/toolbox --argstr job {{ shortname }} --arg override "{ $VERSIONS; {{ shortname }} = builtins.filterSource (path: _: baseNameOf path != \".git\") ./.; }"
+    nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job {{ shortname }} --arg override "{ $VERSIONS; {{ shortname }} = builtins.filterSource (path: _: baseNameOf path != \".git\") ./.; }"
 {{/ nix }}
 jobs:
   include:

diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
@@ -66,4 +66,4 @@ jobs:
           submodules: recursive
 <%/ submodule %>
       - run: >
-          nix-build https://coq.inria.fr/nix/toolbox --argstr job <% shortname %> --arg override '{ ${{ matrix.overrides }}; <% shortname %> = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'
+          nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job <% shortname %> --arg override '{ ${{ matrix.overrides }}; <% shortname %> = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'