[CI] Update Docker CI

math-comp · Nov 29, 2023 · fb5918d · fb5918d
1 parent 7ac0a75
commit fb5918d
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -19,11 +19,13 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:2.0.0-coq-8.16
-          - mathcomp/mathcomp:2.0.0-coq-8.17
-          - mathcomp/mathcomp:2.0.0-coq-dev
+          - 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-dev:coq-8.17
+          - mathcomp/mathcomp-dev:coq-8.18
           - mathcomp/mathcomp-dev:coq-dev
       fail-fast: false
     steps: