Merge pull request #1982 from proux01/ci-update

proux01 · web-flow · commit 723425a8e25e · 2026-05-30T09:52:44.000+02:00
[CI] Update Nix toolbox
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -85,6 +85,8 @@ in {
       stdlib.override.version = "master";
       rocq-elpi.override.version = "master";
       hierarchy-builder.override.version = "master";
+      micromega-plugin.override.version = "master";
+      micromega-plugin.job = false;
       mathcomp.override.version = "master";
       mathcomp-bigenough.override.version = "master";
       mathcomp-finmap.override.version = "master";
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"cdb1bab419a46125ba129bd32e273b32d8f13f23"
+"175e68be5dcde92457dbb949ef905e771d765a68"
