Commit 70f3b4b6 authored by Ralf Jung's avatar Ralf Jung
Browse files

nightly test against Coq 8.13 branch

parent ad2e6f32
......@@ -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:
......
......@@ -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") }
]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment