Skip to content
Snippets Groups Projects

drop support for Coq 8.7

Merged drop support for Coq 8.7
ralf/drop-8.7 into master
Merged Ralf Jung requested to merge ralf/drop-8.7 into master
Compare
and
4 files
+ 4
− 7
Compare changes
  • Side-by-side
  • Inline
Files
4
.gitlab-ci.yml
+ 0
− 5
@@ -56,8 +56,3 @@ build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"