From f57c833b6c59ba58f615fab22cf41fc950087223 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Wed, 15 Nov 2023 19:53:35 +0000
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c47e6f61..e8d17b3c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -49,10 +49,10 @@ variables:
#tags:
#- fp-timing
-build-coq.8.17.0:
+build-coq.8.17.1:
<<: *template
variables:
- OPAM_PINS: "coq version 8.17.0 coq-lambda-rust.dev git git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr"
+ OPAM_PINS: "coq version 8.17.1 coq-lambda-rust.dev git git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr"
#DENY_WARNINGS: "1"
only:
- main@lgaeher/refinedrust-dev
@@ -64,7 +64,7 @@ trigger-iris.dev:
STDPP_REPO: "iris/stdpp"
IRIS_REPO: "iris/iris"
RR_RUST_VERSION: "HEAD"
- OPAM_PINS: "coq version 8.17.0 coq-lambda-rust.dev git git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr coq-stdpp.dev git git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ OPAM_PINS: "coq version 8.17.1 coq-lambda-rust.dev git git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr coq-stdpp.dev git git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
except:
only:
- triggers
--
GitLab