Merge pull request #104 from math-comp/ci

Update the CI config and the OPAM file

Author: pi8027

.github/workflows/ci.yml

@@ -10,6 +10,8 @@ jobs:
         image:
           - mathcomp/mathcomp:2.2.0-coq-8.20
           - mathcomp/mathcomp:2.3.0-coq-8.20
+          - mathcomp/mathcomp:2.4.0-coq-8.20
+          - mathcomp/mathcomp:2.4.0-rocq-prover-9.0
           - mathcomp/mathcomp-dev:coq-8.20
       fail-fast: false
     steps:

coq-mathcomp-multinomials.opam

@@ -9,11 +9,11 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   ("coq" {>= "8.20" & < "8.21~"}
-  | "rocq-core" {>= "9.0" | = "dev"})
-  "coq-mathcomp-ssreflect" {(>= "2.2" & < "2.4~") | = "dev"}
+  | "rocq-core" {>= "9.0"})
+  "coq-mathcomp-ssreflect" {>= "2.2"}
   "coq-mathcomp-algebra"
-  "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}
-  "coq-mathcomp-finmap"    {(>= "2.1" & < "2.3~") | = "dev"}
+  "coq-mathcomp-bigenough" {>= "1.0"}
+  "coq-mathcomp-finmap"    {>= "2.1"}
 ]
 tags: [
   "keyword:multinomials"