Merge pull request #34 from coq-community/ci-8.18

CI for Coq 8.18
coq-community · Aug 19, 2023 · 80013ad · 80013ad
2 parents f710b62 + f000a66
commit 80013ad
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -18,6 +18,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp-dev:coq-dev'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.18'
           - 'mathcomp/mathcomp:2.0.0-coq-8.17'
           - 'mathcomp/mathcomp:2.0.0-coq-8.16'
       fail-fast: false

diff --git a/coq-graph-theory-planar.opam b/coq-graph-theory-planar.opam
@@ -15,6 +15,7 @@ as part of the Coq proof of the Four-Color Theorem."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
+  "dune" {>= "2.8"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
   "coq-graph-theory" {= version}

diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam
@@ -15,7 +15,7 @@ from the literature (e.g., Menger's Theorem and Hall's Marriage Theorem)."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.5"}
+  "dune" {>= "2.8"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
   "coq-mathcomp-algebra" 

diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 2.8)
+(using coq 0.3)
 (name graph-theory)
diff --git a/meta.yml b/meta.yml
@@ -70,6 +70,8 @@ supported_coq_versions:
 tested_coq_opam_versions:
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'
+- version: '2.0.0-coq-8.18'
+  repo: 'mathcomp/mathcomp'
 - version: '2.0.0-coq-8.17'
   repo: 'mathcomp/mathcomp'
 - version: '2.0.0-coq-8.16'