Include Coq 8.18 in CI.

arthuraa · Sep 22, 2023 · 50d7b78 · 50d7b78
1 parent a6f8138
commit 50d7b78
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -68,6 +68,28 @@ jobs:
     - image: coqorg/coq:8.17
     resource_class: 'large'
 
+  coq-8-18-mathcomp-2-0-0:
+    <<: *defaults
+    steps:
+    - startup
+    - prepare:
+        mathcomp-version: '2.0.0'
+    - build
+    docker:
+    - image: coqorg/coq:8.18
+    resource_class: 'large'
+
+  coq-8-18-mathcomp-dev:
+    <<: *defaults
+    steps:
+    - startup
+    - prepare:
+        mathcomp-version: 'dev'
+    - build
+    docker:
+    - image: coqorg/coq:8.18
+    resource_class: 'large'
+
   coq-dev:
     <<: *defaults
     steps:
@@ -84,4 +106,6 @@ workflows:
     jobs:
     - coq-8-17-mathcomp-2-0-0
     - coq-8-17-mathcomp-dev
+    - coq-8-18-mathcomp-2-0-0
+    - coq-8-18-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.17" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.17" & < "8.19~") | (= "dev") }
   "coq-mathcomp-ssreflect" {>= "2.0" | (= "dev")}
 ]