wip restricted neighbourhood

math-comp · Jan 15, 2025 · ea80de4 · ea80de4
2 parents e6ca697 + d2fecce
commit ea80de4
Show file tree

Hide file tree

Showing 88 changed files with 6,208 additions and 2,160 deletions.
diff --git a/.github/workflows/nix-action-8.19.yml b/.github/workflows/nix-action-8.19.yml
diff --git a/.github/workflows/nix-action-8.20.yml b/.github/workflows/nix-action-8.20.yml
diff --git a/.github/workflows/nix-action-master.yml b/.github/workflows/nix-action-master.yml
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -1,5 +1,11 @@
 let
   common-bundle = {
+    mathcomp-classical.job = true;
+    mathcomp-reals.job = true;
+    mathcomp-analysis.job = true;
+    mathcomp-experimental-reals.job = true;
+    mathcomp-reals-stdlib.job = true;
+    mathcomp-analysis-stdlib.job = true;
     ssprove.job = false;
   };
 in
@@ -55,13 +61,14 @@ in
 
   bundles."master" = { coqPackages = common-bundle // {
     coq.override.version = "master";
+    stdlib.override.version = "master";
     coq-elpi.override.version = "master";
     hierarchy-builder.override.version = "master";
     mathcomp.override.version = "master";
     mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
     ssprove.job = false;
-  }; ocamlPackages = { elpi.override.version = "1.19.2"; }; };
+  }; ocamlPackages = { elpi.override.version = "2.0.6"; }; };
 
   ## Cachix caches to use in CI
   ## Below we list some standard ones

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"42eecc8a0f642b84bd179859d708ddc710c92004"
+"fb3515feec422e546de863ad0101e2a51ec9b8db"
diff --git a/.nix/coq-overlays/mathcomp-analysis/default.nix b/.nix/coq-overlays/mathcomp-analysis/default.nix
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"42eecc8a0f642b84bd179859d708ddc710c92004"
		"fb3515feec422e546de863ad0101e2a51ec9b8db"