Merge pull request #461 from proux01/ci-update

[CI] Update Nix toolbox
math-comp · Nov 12, 2024 · cbc149f · cbc149f
2 parents a11e23f + 77c97f2
commit cbc149f
Show file tree

Hide file tree

Showing 6 changed files with 1,917 additions and 1,921 deletions.
diff --git a/.github/workflows/nix-action-coq-8.18.yml b/.github/workflows/nix-action-coq-8.18.yml
diff --git a/.github/workflows/nix-action-coq-8.19.yml b/.github/workflows/nix-action-coq-8.19.yml
diff --git a/.github/workflows/nix-action-coq-8.20.yml b/.github/workflows/nix-action-coq-8.20.yml
diff --git a/.github/workflows/nix-action-coq-master.yml b/.github/workflows/nix-action-coq-master.yml
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -42,11 +42,7 @@
     "coq-8.18".coqPackages = mcHBcommon // {
       coq.override.version = "8.18";
       mathcomp-classical.job = false;  # Analysis master dropped suppor for 8.18
-      mathcomp-reals.job = false;
       mathcomp-analysis.job = false;
-      mathcomp-altreals.job = false;
-      mathcomp-reals-stdlib.job = false;
-      mathcomp-analysis-stdlib.job = false;
     };
 
   };

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"37d20f7c53fc3ee7de52eece3f0f23044ec32546"
+"7ff53c990ee876ed8aa55361cbf30a163702a13d"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"37d20f7c53fc3ee7de52eece3f0f23044ec32546"
		"7ff53c990ee876ed8aa55361cbf30a163702a13d"