Skip to content
Snippets Groups Projects
Commit c05ce971 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Bump Coq version of CI.

parent 0bc616f0
No related branches found
No related tags found
No related merge requests found
Pipeline #27123 failed
Stage: build
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 2
− 2
View file @ c05ce971
...@@ -27,10 +27,10 @@ variables: ...@@ -27,10 +27,10 @@ variables:
## Build jobs ## Build jobs
build-coq.8.10.1: build-coq.8.11.1:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.10.1" OPAM_PINS: "coq version 8.11.1"
build-iris.dev: build-iris.dev:
<<: *template <<: *template
......
README.md
+ 2
− 5
View file @ c05ce971
...@@ -5,11 +5,8 @@ Based Reasoning in Separation Logic". ...@@ -5,11 +5,8 @@ Based Reasoning in Separation Logic".
It has been built and tested with the following dependencies It has been built and tested with the following dependencies
- Coq 8.10 - Coq 8.11.1
- [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at - The version of Iris in the [opam file](opam)
commit 37e95a04.
- [iris](https://gitlab.mpi-sws.org/iris/iris) at
commit d1787db2.
In order to build, install the above dependencies and then run In order to build, install the above dependencies and then run
`make -j [num CPU cores]` to compile Actris. `make -j [num CPU cores]` to compile Actris.
......
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