Skip to content
Snippets Groups Projects

drop support for Coq 8.11

Merged drop support for Coq 8.11
ralf/drop-8.11 into master
Merged Ralf Jung requested to merge ralf/drop-8.11 into master
Compare
and
4 files
+ 5
− 10
Compare changes
  • Side-by-side
  • Inline
Files
4
.gitlab-ci.yml
+ 1
− 8
@@ -78,16 +78,9 @@ build-coq.8.13.2:
DENY_WARNINGS: "1"
build-coq.8.12.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.2"
DENY_WARNINGS: "1"
OCAML: "ocaml-base-compiler.4.07.1"
build-coq.8.11.2:
<<: *template
<<: *branches_and_mr
variables:
OPAM_PINS: "coq version 8.11.2"
OPAM_PINS: "coq version 8.12.2"
DENY_WARNINGS: "1"
OCAML: "ocaml-base-compiler.4.07.1"