Add CI infrastructure for 8.17.

arthuraa · Mar 9, 2023 · ef5cf47 · ef5cf47
1 parent c86a0a3
commit ef5cf47
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -88,6 +88,26 @@ jobs:
     docker:
     - image: coqorg/coq:8.15
 
+  coq-8-16-mathcomp-1-16-0:
+    <<: *defaults
+    steps:
+    - startup
+    - prepare:
+        mathcomp-version: '1.16.0'
+    - build
+    docker:
+    - image: coqorg/coq:8.16
+
+  coq-8-17-mathcomp-dev:
+    <<: *defaults
+    steps:
+    - startup
+    - prepare:
+        mathcomp-version: 'dev'
+    - build
+    docker:
+    - image: coqorg/coq:8.17
+
   coq-dev:
     <<: *defaults
     steps:
@@ -106,4 +126,6 @@ workflows:
     - coq-8-13-mathcomp-1-13-0
     - coq-8-14-mathcomp-1-13-0
     - coq-8-15-mathcomp-1-15-0
+    - coq-8-16-mathcomp-1-16-0
+    - coq-8-17-mathcomp-dev
     - coq-dev
diff --git a/deriving.opam b/deriving.opam
@@ -11,7 +11,7 @@ license: "MIT"
 build: [ make "-j" "%{jobs}%" "test" {with-test} ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.11" & < "8.16~") | (= "dev") }
+  "coq" { (>= "8.11" & < "8.18~") | (= "dev") }
   "coq-mathcomp-ssreflect" {>= "1.11" | (= "dev")}
 ]