Merge pull request #78 from math-comp/ci-mc-1.17

update opam and CI
math-comp · May 17, 2023 · 2a51c1d · 2a51c1d
2 parents fc3a21d + dbb48b9
commit 2a51c1d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,6 +20,7 @@ jobs:
           - mathcomp/mathcomp:1.16.0-coq-8.15
           - mathcomp/mathcomp:1.16.0-coq-8.16
           - mathcomp/mathcomp:1.16.0-coq-8.17
+          - mathcomp/mathcomp:1.17.0-coq-8.17
           - mathcomp/mathcomp-dev:coq-8.15 # (without coq-native for now)
           - mathcomp/mathcomp-dev:coq-8.16 # (without coq-native for now)
           - mathcomp/mathcomp-dev:coq-8.17 # (without coq-native for now)

diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam
@@ -12,7 +12,7 @@ build: [
 depends: [
   "coq"                    {(>= "8.13" & < "8.18~") | = "dev"}
   "dune"                   {>= "2.8"}
-  "coq-mathcomp-ssreflect" {(>= "1.13" & < "1.17~") | = "dev"}
+  "coq-mathcomp-ssreflect" {(>= "1.13" & < "1.18~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}
   "coq-mathcomp-finmap"    {(>= "1.5" & < "1.6~") | = "dev"}