From db699c578f9fc460da5ec788dd84ba6c93646d54 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 23 Jun 2021 10:56:06 +0200
Subject: [PATCH] test Coq 8.14 beta branch
---
.gitlab-ci.yml | 4 ++--
coq-stdpp.opam | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4b3f6b7f..ada1ff7d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,10 +41,10 @@ variables:
## Build jobs
-build-coq.dev:
+build-coq.8.14.dev:
<<: *template
variables:
- OPAM_PINS: "coq version dev"
+ OPAM_PINS: "coq version 8.14.dev"
MANGLE_NAMES: "1"
CI_COQCHK: "1"
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 3342296c..4e236ebd 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -30,7 +30,7 @@ The key features of this library are as follows:
"""
depends: [
- "coq" { (>= "8.10.2" & < "8.14~") | (= "dev") }
+ "coq" { (>= "8.10.2" & < "8.15~") | (= "dev") }
]
build: [make "-j%{jobs}%"]
--
GitLab