Skip to content
Snippets Groups Projects
Commit f54aa1f1 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ci/coq' into 'master' 

bump to Coq 8.18

See merge request !33
parents c43e0aef 1b43afae
No related branches found
No related tags found
1 merge request!33bump to Coq 8.18
Pipeline #96209 failed
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 2
− 2
View file @ f54aa1f1
...@@ -28,10 +28,10 @@ variables: ...@@ -28,10 +28,10 @@ variables:
## Build jobs ## Build jobs
build-coq.8.17.0: build-coq.8.18.0:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.17.0" OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
OPAM_PKG: "1" OPAM_PKG: "1"
tags: tags:
......
README.md
+ 1
− 1
View file @ f54aa1f1
...@@ -10,7 +10,7 @@ the paper ...@@ -10,7 +10,7 @@ the paper
It has been built and tested with the following dependencies It has been built and tested with the following dependencies
- Coq 8.17.0 - Coq 8.18.0
- The version of Iris in the [opam file](opam) - The version of Iris in the [opam file](opam)
In order to build, install the above dependencies and then run In order to build, install the above dependencies and then run
......
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