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

test against Coq 8.8.0, update CI

parent b6f03016
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 5
− 0
View file @ 45162e5a
...@@ -32,6 +32,11 @@ build-coq.dev: ...@@ -32,6 +32,11 @@ build-coq.dev:
OPAM_PINS: "coq version dev coq-mathcomp-ssreflect version dev" OPAM_PINS: "coq version dev coq-mathcomp-ssreflect version dev"
VALIDATE: "1" VALIDATE: "1"
build-coq.8.8.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.0 coq-mathcomp-ssreflect version dev"
build-coq.8.7.2: build-coq.8.7.2:
<<: *template <<: *template
variables: variables:
......
README.md
+ 1
− 1
View file @ 45162e5a
...@@ -6,7 +6,7 @@ This is the Coq development of the [Iris Project](http://iris-project.org). ...@@ -6,7 +6,7 @@ This is the Coq development of the [Iris Project](http://iris-project.org).
This version is known to compile with: This version is known to compile with:
- Coq 8.6.1 / 8.7.0 / 8.7.1 / 8.7.2 - Coq 8.6.1 / 8.7.0 / 8.7.1 / 8.7.2 / 8.8.0
- Ssreflect 1.6.4 - Ssreflect 1.6.4
- A development version of [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) - A development version of [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
......
ci @ 987ea45a
Compare e5889b23...987ea45a
Subproject commit e5889b234143d4f3c2b6d4a90e46b39802c00388 Subproject commit 987ea45abdbb1f86a868328c3e51aa1a12cb35d7
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