[CI] Add Coq 9.0+rc1

math-comp · Jan 27, 2025 · f751850 · f751850
1 parent 01053c1
commit f751850
Show file tree

Hide file tree

Showing 7 changed files with 3,399 additions and 781 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-9.0.yml b/.github/workflows/nix-action-coq-9.0.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
@@ -19,7 +19,8 @@
       mathcomp-bigenough.override.version = "master";
       multinomials.override.version = "master";
       mathcomp-real-closed.override.version = "master";
-      coqeal.override.version = "master";
+      # coqeal.override.version = "master";
+      coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
     };
   in {
     "coq-master".coqPackages = mcHBcommon // {
@@ -29,7 +30,12 @@
       coq-elpi.override.elpi-version = "2.0.7";
       bignums.override.version = "master";
       paramcoq.override.version = "master";
-      coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
+    };
+
+    "coq-9.0".coqPackages = mcHBcommon // {
+      coq.override.version = "9.0";
+      coq-elpi.override.version = "v2.4.0";
+      coq-elpi.override.elpi-version = "2.0.7";
     };
 
     "coq-8.20".coqPackages = mcHBcommon // {

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"82da08ded8f5b913ab813ab079a698eff6ab70e2"
+"513125b0f59fa52c3919c5f2bdc63077d341b18a"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"82da08ded8f5b913ab813ab079a698eff6ab70e2"
		"513125b0f59fa52c3919c5f2bdc63077d341b18a"