From bd72741623f06f1a6157cb65cf87925d588beb4e Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Wed, 28 Apr 2021 09:25:12 +0200 Subject: [PATCH] don't test against Coq master (it is broken) --- .gitlab-ci.yml | 6 +++--- README.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9a6f76cc..4e6cca3c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -27,17 +27,17 @@ variables: ## Build jobs -build-coq.8.12.0: +build-coq.8.13.2: <<: *template variables: - OPAM_PINS: "coq version 8.12.0" + OPAM_PINS: "coq version 8.12.2" tags: - fp-timing build-iris.dev: <<: *template variables: - OPAM_PINS: "coq version dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV coq-orc11.dev git git+https://gitlab.mpi-sws.org/iris/orc11.git#$ORC11_REV coq-gpfsl.dev git git+https://gitlab.mpi-sws.org/iris/gpfsl.git#$GPFSL_REV" + OPAM_PINS: "coq version 8.13.dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV coq-orc11.dev git git+https://gitlab.mpi-sws.org/iris/orc11.git#$ORC11_REV coq-gpfsl.dev git git+https://gitlab.mpi-sws.org/iris/gpfsl.git#$GPFSL_REV" except: only: - triggers diff --git a/README.md b/README.md index 1a18da6b..b70356bf 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ This is the Coq development accompanying RBrlx. This version is known to compile with: - - Coq 8.12.0 + - Coq 8.13.2 - A development version of [GPFSL]. The easiest way to install the correct versions of the dependencies is through -- GitLab