[CI] Update

math-comp · Jan 24, 2022 · c351bda · c351bda
1 parent 7a82f0d
commit c351bda
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -22,7 +22,7 @@ jobs:
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.13.0-coq-dev'
+          - 'mathcomp/mathcomp:1.14.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.14'
           - 'mathcomp/mathcomp-dev:coq-dev'

diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
@@ -19,11 +19,11 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-field" { (>= "1.12.0" & < "1.14~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-field" { (>= "1.12.0" & < "1.15~") | (= "dev") }
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }
   "coq-mathcomp-bigenough" { (>= "1.0.0") }
   "coq-hierarchy-builder" { (>= "0.10.0") }