Merge pull request #27 from math-comp/CI

Removing 1.11.0+dev, adding 8.12
math-comp · Sep 28, 2020 · 19eb998 · 19eb998
2 parents 689f07b + c644020
commit 19eb998
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -21,9 +21,11 @@ jobs:
         image:
           - mathcomp/mathcomp:1.11.0-coq-8.10
           - mathcomp/mathcomp:1.11.0-coq-8.11
-          - mathcomp/mathcomp:1.11.0-coq-dev
+          - mathcomp/mathcomp:1.11.0-coq-8.11
+          - mathcomp/mathcomp:1.11.0-coq-8.12
           - mathcomp/mathcomp-dev:coq-8.10
           - mathcomp/mathcomp-dev:coq-8.11
+          - mathcomp/mathcomp-dev:coq-8.12
           - mathcomp/mathcomp-dev:coq-dev
       fail-fast: false
     steps: