From 945ce8083a7b7a9645da2216087a8a46cc662b46 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 26 May 2023 10:22:09 +0200
Subject: [PATCH] update ci to 8.17
---
.gitlab-ci.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 96faabf..717beaf 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,10 +30,10 @@ variables:
## Build jobs
# build against known-working Coq 8.16.0
-build-coq.8.16.0:
+build-coq.8.17.0:
<<: *template
variables:
- OPAM_PINS: "coq version 8.16.0"
+ OPAM_PINS: "coq version 8.17.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.16.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.17.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