Merge pull request #56 from proux01/ci-mc-113

[CI] Add MathComp 1.13
coq-community · Nov 5, 2021 · dfc6a9f · dfc6a9f
2 parents 3b86abf + a48a2f3
commit dfc6a9f
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,6 +17,10 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'mathcomp/mathcomp:1.13.0-coq-8.14'
+          - 'mathcomp/mathcomp:1.13.0-coq-8.13'
+          - 'mathcomp/mathcomp:1.13.0-coq-8.12'
+          - 'mathcomp/mathcomp:1.13.0-coq-8.11'
           - 'mathcomp/mathcomp:1.12.0-coq-8.14'
           - 'mathcomp/mathcomp:1.12.0-coq-8.13'
           - 'mathcomp/mathcomp:1.12.0-coq-8.12'

diff --git a/meta.yml b/meta.yml
@@ -90,6 +90,14 @@ dependencies:
     [MathComp](https://math-comp.github.io) 1.12.0 or newer
 
 tested_coq_opam_versions:
+- version: '1.13.0-coq-8.14'
+  repo: 'mathcomp/mathcomp'
+- version: '1.13.0-coq-8.13'
+  repo: 'mathcomp/mathcomp'
+- version: '1.13.0-coq-8.12'
+  repo: 'mathcomp/mathcomp'
+- version: '1.13.0-coq-8.11'
+  repo: 'mathcomp/mathcomp'
 - version: '1.12.0-coq-8.14'
   repo: 'mathcomp/mathcomp'
 - version: '1.12.0-coq-8.13'