test mathcomp 2.3.0

math-comp · Dec 2, 2024 · f4630f5 · f4630f5
1 parent 21062a5
commit f4630f5
Show file tree

Hide file tree

Showing 7 changed files with 1,457 additions and 702 deletions.
diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
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
@@ -31,7 +31,7 @@
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.19";
+  default-bundle = "8.20";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration
@@ -54,11 +54,15 @@
   };
   "8.18".coqPackages = common-bundles // {
     coq.override.version = "8.18";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "2.3.0";
   };
   "8.19".coqPackages = common-bundles // {
     coq.override.version = "8.19";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "2.3.0";
+  };
+  "8.20".coqPackages = common-bundles // {
+    coq.override.version = "8.20";
+    mathcomp.override.version = "2.3.0";
   };
   "master".coqPackages = common-bundles // {
     coq.override.version = "master";

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"71ce950dc44c719bf83587321f4f7eb07e189ab5"
+"858ff8dd010deded3b9cab8e04fbfad20151af5c"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"71ce950dc44c719bf83587321f4f7eb07e189ab5"
		"858ff8dd010deded3b9cab8e04fbfad20151af5c"