Skip to content
Snippets Groups Projects
Commit 54621276 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

test nightly ci against rust master

parent d8b4c997
No related branches found
No related tags found
No related merge requests found
Pipeline #88408 failed
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 1
− 0
View file @ 54621276
...@@ -62,6 +62,7 @@ trigger-iris.dev: ...@@ -62,6 +62,7 @@ trigger-iris.dev:
variables: variables:
STDPP_REPO: "iris/stdpp" STDPP_REPO: "iris/stdpp"
IRIS_REPO: "iris/iris" 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.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"
except: except:
only: only:
......
Makefile
+ 1
− 1
View file @ 54621276
...@@ -15,7 +15,7 @@ clean: ...@@ -15,7 +15,7 @@ clean:
.PHONY: clean .PHONY: clean
frontend-setup: frontend-setup:
cd rr_frontend && ./rustup-toolchain cd rr_frontend && ./rustup-toolchain $(RR_RUST_VERSION)
frontend: frontend-setup frontend: frontend-setup
cd rr_frontend && ./refinedrust build cd rr_frontend && ./refinedrust build
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment