Skip to content
Snippets Groups Projects

drop support for Coq 8.16 and 8.17

Merged drop support for Coq 8.16 and 8.17
ralf/old-coq into master
Merged Ralf Jung requested to merge ralf/old-coq into master
Compare
and
3 files
+ 4
− 18
Compare changes
  • Side-by-side
  • Inline
Files
3
.gitlab-ci.yml
+ 2
− 16
@@ -67,24 +67,10 @@ build-coq.8.19.0-mr:
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
build-coq.8.18.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
build-coq.8.17.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.17.1"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
# The oldest version runs in MRs, without name mangling.
build-coq.8.16.1:
build-coq.8.18.0:
<<: *template
<<: *branches_and_mr
variables:
OPAM_PINS: "coq version 8.16.1"
OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"