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

test on Coq 8.13.0

parent 6f8111e2
Branches ci/maximedenes/instance-nobody-open-proof
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 7
− 2
View file @ 8407f2ca
...@@ -34,10 +34,15 @@ build-coq.dev: ...@@ -34,10 +34,15 @@ build-coq.dev:
MANGLE_NAMES: "1" MANGLE_NAMES: "1"
CI_COQCHK: "1" CI_COQCHK: "1"
build-coq.8.12.1: build-coq.8.13.0:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.12.1" OPAM_PINS: "coq version 8.13.0"
build-coq.8.12.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.2"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
OPAM_PKG: "1" OPAM_PKG: "1"
DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp" DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
......
README.md
+ 1
− 1
View file @ 8407f2ca
...@@ -45,7 +45,7 @@ Notably: ...@@ -45,7 +45,7 @@ Notably:
This version is known to compile with: This version is known to compile with:
- Coq version 8.10.2 / 8.11.2 / 8.12.1 - Coq version 8.10.2 / 8.11.2 / 8.12.2 / 8.13.0
## Installing via opam ## Installing via opam
......
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