Update CI

.github/workflows/docker-action.yml

@@ -17,11 +17,16 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:2.1.0-coq-8.18'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.16'
           - 'mathcomp/mathcomp:2.0.0-coq-8.18'
-          - 'mathcomp/mathcomp:2.1.0-coq-8.17'
           - 'mathcomp/mathcomp:2.1.0-coq-8.16'
-          - 'mathcomp/mathcomp:2.0.0-coq-8.16'
+          - 'mathcomp/mathcomp:2.1.0-coq-8.18'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.16'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.19'
+          - 'mathcomp/mathcomp:2.2.0-coq-dev'
+          - 'mathcomp/mathcomp-dev:coq-8.17'
+          - 'mathcomp/mathcomp-dev:coq-8.19'
+          - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3

coq-bits.opam

@@ -18,9 +18,9 @@ axiomatization and extraction to OCaml native integers."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.16" & < "8.19~")}
+  "coq" {(>= "8.16" & < "8.20~") | (= "dev")}
   "ocamlbuild" 
-  "coq-mathcomp-algebra" {(>= "2.0" & < "2.2~")}
+  "coq-mathcomp-algebra" {(>= "2.0" & < "2.3~") | (= "dev")}
 ]
 
 tags: [

meta.yml

@@ -48,27 +48,37 @@ license:
 
 supported_coq_versions:
   text: 8.16 or later (use releases for other Coq versions)
-  opam: '{(>= "8.16" & < "8.19~")}'
+  opam: '{(>= "8.16" & < "8.20~") | (= "dev")}'
 
 tested_coq_opam_versions:
-- version: '2.1.0-coq-8.18'
+- version: '2.0.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
 - version: '2.0.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '2.1.0-coq-8.17'
-  repo: 'mathcomp/mathcomp'
 - version: '2.1.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
-- version: '2.0.0-coq-8.16'
+- version: '2.1.0-coq-8.18'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-8.16'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-8.19'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-dev'
   repo: 'mathcomp/mathcomp'
+- version: 'coq-8.17'
+  repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-8.19'
+  repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-dev'
+  repo: 'mathcomp/mathcomp-dev'
 
 dependencies:
 - opam:
     name: ocamlbuild
   description: OCamlbuild
 - opam:
     name: coq-mathcomp-algebra
-    version: '{(>= "2.0" & < "2.2~")}'
+    version: '{(>= "2.0" & < "2.3~") | (= "dev")}'
   description: |-
     [MathComp](https://math-comp.github.io) 2.0 or later (`algebra` suffices)