Add Coq v8.19 to CI and OPAM-files

coq-community · Aug 6, 2024 · 9222d6d · 9222d6d
1 parent 24a446c
commit 9222d6d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/coq-ci.yml b/.github/workflows/coq-ci.yml
@@ -16,6 +16,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'

diff --git a/coq-topology.opam b/coq-topology.opam
@@ -16,7 +16,7 @@ and results of general topology in Coq.
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
-  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.12" & < "8.20~") | (= "dev")}
   "coq-zorns-lemma" {= version}
 ]
 

diff --git a/coq-zorns-lemma.opam b/coq-zorns-lemma.opam
@@ -17,7 +17,7 @@ was as support for the Topology library.
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
-  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.12" & < "8.20~") | (= "dev")}
 ]
 
 tags: [