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

test coq 8.19.1

parent f894e0cf
No related branches found
No related tags found
No related merge requests found
Pipeline #106974 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 2
− 2
View file @ 8a031c06
...@@ -74,10 +74,10 @@ build-coq.8.20.0-dune: ...@@ -74,10 +74,10 @@ build-coq.8.20.0-dune:
OPAM_PINS: "coq version 8.20.0 dune version 3.15.2" OPAM_PINS: "coq version 8.20.0 dune version 3.15.2"
MAKE_TARGET: "dune" MAKE_TARGET: "dune"
build-coq.8.19.0: build-coq.8.19.1:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.19.0" OPAM_PINS: "coq version 8.19.1"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
# The oldest version runs in MRs, without name mangling. # The oldest version runs in MRs, without name mangling.
......
README.md
+ 1
− 1
View file @ 8a031c06
...@@ -43,7 +43,7 @@ Notably: ...@@ -43,7 +43,7 @@ Notably:
This version is known to compile with: This version is known to compile with:
- Coq version 8.18.0 / 8.19.0 / 8.20.0 - Coq version 8.18.0 / 8.19.1 / 8.20.0
Generally we always aim to support the last two stable Coq releases. Support for Generally we always aim to support the last two stable Coq releases. Support for
older versions will be dropped when it is convenient. older versions will be dropped when it is convenient.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment