diff --git a/.github/workflows/coq-ci.yml b/.github/workflows/coq-ci.yml
index 7d8cbd0c..f1805ef7 100644
--- 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
index aa4353b0..2b50078d 100644
--- 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
index 5415e7e8..9db3e4d4 100644
--- 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: [