From d2de29279d3f217368e0cdea0ef31a4cf604471b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 29 Sep 2023 16:19:27 +0200
Subject: [PATCH] switch CI to Coq 8.18
---
.gitlab-ci.yml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 31da8a15..cca9a2ec 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,11 +47,11 @@ build-coq.dev:
variables:
OPAM_PINS: "coq version dev"
-build-coq.8.17.0:
+build-coq.8.18.0:
<<: *template
variables:
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
- OPAM_PINS: "coq version 8.17.0"
+ OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
# Coq bench needs an opam package
@@ -60,11 +60,11 @@ build-coq.8.17.0:
- fp-timing
# Separate MR job that does not run on fp-timing.
-build-coq.8.17.0-mr:
+build-coq.8.18.0-mr:
<<: *template
<<: *only_mr
variables:
- OPAM_PINS: "coq version 8.17.0"
+ OPAM_PINS: "coq version 8.18.0"
MANGLE_NAMES: "1"
DENY_WARNINGS: "1"
@@ -72,7 +72,7 @@ trigger-iris.timing:
<<: *template
variables:
OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
- OPAM_PINS: "coq version 8.17.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ OPAM_PINS: "coq version 8.18.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
tags:
- fp-timing
only:
--
GitLab