From 9222d6d38819ff488d93287589399c2e296276d7 Mon Sep 17 00:00:00 2001
From: Columbus240 <8899730+Columbus240@users.noreply.github.com>
Date: Tue, 6 Aug 2024 17:09:51 +0200
Subject: [PATCH] Add Coq v8.19 to CI and OPAM-files

---
 .github/workflows/coq-ci.yml | 1 +
 coq-topology.opam            | 2 +-
 coq-zorns-lemma.opam         | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

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: [