From 70f3b4b60612e61908856e2c44839846d1554ac2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 9 Dec 2020 10:15:07 +0100
Subject: [PATCH] nightly test against Coq 8.13 branch
---
.gitlab-ci.yml | 4 ++--
coq-iris.opam | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0cad7399c..6a8f19d07 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,7 +58,7 @@ build-coq.8.10.2:
build-stdpp.dev-coq.8.11.2:
<<: *template
variables:
- OPAM_PINS: "coq version 8.11.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+ OPAM_PINS: "coq version 8.12.1 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
except:
only:
- triggers
@@ -69,7 +69,7 @@ build-stdpp.dev-coq.8.11.2:
build-stdpp.dev-coq.8.12.dev:
<<: *template
variables:
- OPAM_PINS: "coq version 8.12.dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+ OPAM_PINS: "coq version 8.13.dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
CI_COQCHK: "1"
except:
only:
diff --git a/coq-iris.opam b/coq-iris.opam
index 9951f6e18..bed4bfb72 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -13,7 +13,7 @@ iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_lo
"""
depends: [
- "coq" { (>= "8.10.2" & < "8.13~") | (= "dev") }
+ "coq" { (>= "8.10.2" & < "8.14~") | (= "dev") }
"coq-stdpp" { (= "dev.2020-11-11.2.6385b547") | (= "dev") }
]
--
GitLab