From 70a6a070c2d60dda3e7fd6f40a4f71a941594ec2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Wed, 4 Oct 2023 08:28:55 +0200
Subject: [PATCH] bump ci to 8.18
---
.gitlab-ci.yml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bb58299..4f1a600 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,11 +29,11 @@ variables:
## Build jobs
-# build against known-working Coq 8.17.0
-build-coq.8.17.0:
+# build against known-working Coq 8.18.0
+build-coq.8.18.0:
<<: *template
variables:
- OPAM_PINS: "coq version 8.17.0"
+ OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
#MANGLE_NAMES: "1"
#OPAM_PKG: "1"
@@ -44,7 +44,7 @@ build-iris.dev:
variables:
STDPP_REPO: "iris/stdpp"
IRIS_REPO: "iris/iris"
- OPAM_PINS: "coq version 8.17.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ OPAM_PINS: "coq version 8.18.dev git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
except:
only:
- triggers
--
GitLab