From 2a27537c2061c0452b42edc49bb4a9082a088861 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 23 Jun 2021 11:02:13 +0200
Subject: [PATCH] test against Coq 8.14 beta branch
---
.gitlab-ci.yml | 11 +++++++++--
coq-iris.opam | 4 ++--
2 files changed, 11 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 27b0319ca..8f3dbe13d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -50,6 +50,13 @@ build-coq.dev:
OPAM_PINS: "coq-core.dev git git+https://github.com/coq/coq#$COQ_REV coq-stdlib.dev git git+https://github.com/coq/coq#$COQ_REV coq.dev git git+https://github.com/coq/coq#$COQ_REV"
MANGLE_NAMES: "1"
+build-coq.8.14.dev:
+ <<: *template
+ variables:
+ OPAM_PINS: "coq version 8.14.dev"
+ MANGLE_NAMES: "1"
+ DENY_WARNINGS: "1"
+
build-coq.8.13.2:
<<: *template
interruptible: false
@@ -83,11 +90,11 @@ trigger-stdpp.dev-coq.8.13.1:
- api
# Nightly job with latest Coq beta branch
-trigger-stdpp.dev-coq.8.13.dev:
+trigger-stdpp.dev-coq.8.14.dev:
<<: *template
variables:
STDPP_REPO: "iris/stdpp"
- OPAM_PINS: "coq version 8.13.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
+ OPAM_PINS: "coq version 8.14.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
CI_COQCHK: "1"
except:
only:
diff --git a/coq-iris.opam b/coq-iris.opam
index 898dba3ea..f1fb7965e 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -14,8 +14,8 @@ iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_lo
"""
depends: [
- "coq" { (>= "8.12" & < "8.14~") | (= "dev") }
- "coq-stdpp" { (= "dev.2021-06-18.0.0a38be45") | (= "dev") }
+ "coq" { (>= "8.12" & < "8.15~") | (= "dev") }
+ "coq-stdpp" { (= "dev.2021-06-23.0.db699c57") | (= "dev") }
]
build: ["./make-package" "iris" "-j%{jobs}%"]
--
GitLab