Merge pull request #15 from pi8027/ci

Update CI
pi8027 · Feb 14, 2024 · 8689d86 · 8689d86
2 parents 389997b + 136b8f8
commit 8689d86
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 7 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -40,15 +40,20 @@ jobs:
           - 'mathcomp/mathcomp:1.18.0-coq-8.16'
           - 'mathcomp/mathcomp:1.18.0-coq-8.17'
           - 'mathcomp/mathcomp:1.18.0-coq-8.18'
-          - 'mathcomp/mathcomp:1.18.0-coq-dev'
+          - 'mathcomp/mathcomp:1.19.0-coq-8.16'
+          - 'mathcomp/mathcomp:1.19.0-coq-8.17'
+          - 'mathcomp/mathcomp:1.19.0-coq-8.18'
+          - 'mathcomp/mathcomp:1.19.0-coq-8.19'
           - 'mathcomp/mathcomp:2.0.0-coq-8.16'
           - 'mathcomp/mathcomp:2.0.0-coq-8.17'
           - 'mathcomp/mathcomp:2.0.0-coq-8.18'
           - 'mathcomp/mathcomp:2.1.0-coq-8.16'
           - 'mathcomp/mathcomp:2.1.0-coq-8.17'
           - 'mathcomp/mathcomp:2.1.0-coq-8.18'
-          - 'mathcomp/mathcomp:2.1.0-coq-dev'
-          - 'mathcomp/mathcomp-dev:coq-8.16'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.16'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.17'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.18'
+          - 'mathcomp/mathcomp:2.2.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-8.18'
           - 'mathcomp/mathcomp-dev:coq-dev'

diff --git a/meta.yml b/meta.yml
@@ -101,7 +101,13 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '1.18.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '1.18.0-coq-dev'
+- version: '1.19.0-coq-8.16'
+  repo: 'mathcomp/mathcomp'
+- version: '1.19.0-coq-8.17'
+  repo: 'mathcomp/mathcomp'
+- version: '1.19.0-coq-8.18'
+  repo: 'mathcomp/mathcomp'
+- version: '1.19.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
 - version: '2.0.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
@@ -115,10 +121,14 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '2.1.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '2.1.0-coq-dev'
+- version: '2.2.0-coq-8.16'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-8.17'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-8.18'
+  repo: 'mathcomp/mathcomp'
+- version: '2.2.0-coq-dev'
   repo: 'mathcomp/mathcomp'
-- version: 'coq-8.16'
-  repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.17'
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.18'