test against and allow installing on 8.15 Coq branch

130789ac · Ralf Jung · a06988a9 · 130789ac · 130789ac
Commit 130789ac authored 3 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,6 +41,11 @@ variables:

 ## Build jobs

+build-coq.8.15.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.15.dev"
+
 build-coq.8.14.1:
  <<: *template
  variables:

--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -33,7 +33,7 @@ tags: [
 ]

 depends: [
-  "coq" { (>= "8.11" & < "8.15~") | (= "dev") }
+  "coq" { (>= "8.11" & < "8.16~") | (= "dev") }
 ]

 build: [make "-j%{jobs}%"]