From c99c9ba635e450bc99347cd1ba558c23b4dbccbc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 1 Sep 2023 14:14:09 +0200
Subject: [PATCH] cache rust toolchain, pin lambda rust properly
---
.gitlab-ci.yml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b4bf2249..b462e136 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,6 +20,10 @@ variables:
key: "$CI_JOB_NAME"
paths:
- _opam/
+ - ~/.rustup/toolchains
+ - ~/.rustup/update-hashes
+ - ~/.rustup/settings.toml
+ #- rr_frontend/target/
only:
- main@lgaeher/refinedrust-dev
- /^ci/@lgaeher/refinedrust-dev
@@ -46,7 +50,7 @@ variables:
build-coq.8.17.0:
<<: *template
variables:
- OPAM_PINS: "coq version 8.17.0"
+ OPAM_PINS: "coq version 8.17.0 coq-lambda-rust.dev git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr"
DENY_WARNINGS: "1"
only:
- main@lgaeher/refinedrust-dev
@@ -57,7 +61,7 @@ trigger-iris.dev:
variables:
STDPP_REPO: "iris/stdpp"
IRIS_REPO: "iris/iris"
- OPAM_PINS: "coq version 8.17.0 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.0 coq-lambda-rust.dev git+https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr coq-stdpp.dev 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