Skip to content
Snippets Groups Projects
Commit f3cce8a0 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq

parents 96c0a8c3 826b90c5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 3
− 3
View file @ f3cce8a0
image: ralfjung/opam-ci:latest image: ralfjung/opam-ci:latest
lrust-coq8.5.3: lrust-coq8.6:
script: script:
# prepare # prepare
- . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1' - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
# build # build
- 'time make -j8' - 'time make -j8'
cache: cache:
key: "coq8.5.3-2" key: "coq8.6"
paths: paths:
- opamroot/ - opamroot/
only: only:
......
README.md
+ 1
− 1
View file @ f3cce8a0
...@@ -6,7 +6,7 @@ This is the Coq formalization of lambda-Rust. ...@@ -6,7 +6,7 @@ This is the Coq formalization of lambda-Rust.
This version is known to compile with: This version is known to compile with:
- Coq 8.5pl3 - Coq 8.6
- Ssreflect 1.6.1 - Ssreflect 1.6.1
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/) - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
......
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