Skip to content
Snippets Groups Projects
Commit 185314ba authored by Ike Mulder's avatar Ike Mulder
Browse files

Merge branch 'ci/update-lambda-rust-to-f55b9243' into 'master' 

Update lambda-rust to f55b9243.

See merge request !52
parents 9ca4d02b b760772c
No related branches found
No related tags found
1 merge request!52Update lambda-rust to f55b9243.
Pipeline #119603 passed
Stage: build
Stage: supplement
Hide whitespace changes
Inline Side-by-side
supplements/coq-diaframe-lambda-rust.opam
+ 2
− 2
View file @ 185314ba
...@@ -13,8 +13,8 @@ depends: [ ...@@ -13,8 +13,8 @@ depends: [
"coq-lambda-rust" "coq-lambda-rust"
] ]
pin-depends: [ pin-depends: [
["coq-lambda-rust.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#a97f02f9"] ["coq-lambda-rust.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#f55b9243"]
["coq-lifetime-logic.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#a97f02f9"] ["coq-lifetime-logic.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#f55b9243"]
] ]
build: [make "-j%{jobs}%" "diaframe-lambda-rust"] build: [make "-j%{jobs}%" "diaframe-lambda-rust"]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment