Merge pull request LPCIC#741 from proux01/ci-update

[CI] Update Nix toolbox
proux01 · Jan 17, 2025 · d4147f9 · d4147f9
2 parents 8061769 + 3ba4824
commit d4147f9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -40,15 +40,18 @@ let master = [
         stdlib.override.version = "master";
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
+      ocamlPackages = { elpi.override.version = "2.0.7"; };
     };
 
+    /* uncomment bundle below if min and max elpi version start to differ
     "coq-master-min-elpi" = {
       coqPackages = common-bundles // {
         coq.override.version = "master";
         stdlib.override.version = "master";
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
-    };
+      ocamlPackages = { elpi.override.version = "2.0.7"; };
+    }; */
 
   };
 

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"15528c384deb76abecd596520bc3d9986b06344d"
+"a24e6f4fb01d4ca0811dc8d16246cfe36b37ac52"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"15528c384deb76abecd596520bc3d9986b06344d"
		"a24e6f4fb01d4ca0811dc8d16246cfe36b37ac52"