Merge pull request #507 from proux01/ci-coq9

[CI] Add Coq 9.0+rc1

Author: proux01

.github/workflows/nix-action-coq-8.18.yml

@@ -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 // {

.github/workflows/nix-action-coq-8.19.yml

@@ -1 +1 @@
-"82da08ded8f5b913ab813ab079a698eff6ab70e2"
+"513125b0f59fa52c3919c5f2bdc63077d341b18a"