Merge pull request #146 from proux01/ci-update

[CI] Update toolbox

Author: proux01

.github/workflows/nix-action-rocq-9.0.yml

@@ -190,8 +190,8 @@ with builtins; with (import <nixpkgs> {}).lib;
       "equations-test"
       "jasmin"
       "mathcomp-word"
-      "metacoq"
-      "metacoq-test"
+      "metarocq"
+      "metarocq-test"
     ];
     coq-common-bundles = listToAttrs (forEach master (p:
       { name = p; value.override.version = "master"; }))
@@ -206,7 +206,6 @@ with builtins; with (import <nixpkgs> {}).lib;
       smtcoq-trakt.override.version = "with-trakt-coq-master";
       coq-tools.override.version = "proux01:coq_19955";
       stdlib-refman-html.job = true;
-      metacoq-template-coq.job = false;  # old thing, now renamed to metacoq-template-rocq
       jasmin.job = false;  # Currently broken, c.f., https://github.com/rocq-prover/rocq/pull/20589
       # To add a simple overlay applying to all bundles,
       # add below a line like
@@ -249,8 +248,8 @@ with builtins; with (import <nixpkgs> {}).lib;
       equations.override.version = "1.3.1+9.0";
       equations-test.job = false;
       fiat-parsers.job = false;  # broken
-      metacoq.override.version = "1.4-9.0";
-      metacoq-test.override.version = "v1.4-9.0";
+      metarocq.override.version = "1.4-9.0";
+      metarocq-test.override.version = "v1.4-9.0";
       mtac2.override.version = "1cdb2cb628444ffe9abc6535f6d2e11004de7fc1";
       paramcoq-test.override.version = "32609ca4a9bf4a0e456a855ea5118d8c00cda6be";
       perennial.job = false;  # broken

.github/workflows/nix-action-rocq-master.yml

@@ -1 +1 @@
-"ac23c3f6bcdcaa54ad66b2ddd0183950e31facf0"
+"52aaa743836510268bf94deb898de0f8bd0501be"

.nix/config.nix

@@ -1,14 +1,14 @@
-{ mkCoqDerivation, metacoq, version ? null }:
+{ mkCoqDerivation, metarocq, version ? null }:
 
 mkCoqDerivation {
-  pname = "metacoq-test";
+  pname = "metarocq-test";
   repo = "metarocq";
   owner = "MetaRocq";
   inherit version;
 
   mlPlugin = true;
 
-  propagatedBuildInputs = [ metacoq ];
+  propagatedBuildInputs = [ metarocq ];
 
   configurePhase = ''
     patchShebangs ./configure.sh

.nix/coq-nix-toolbox.nix

@@ -4,8 +4,8 @@
   bundle ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
-  url = "https://github.com/proux01/coq-nix-toolbox.git";
-  ref = "metarocq14";
+  url = "https://github.com/rocq-community/coq-nix-toolbox.git";
+  ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in