Skip to content
Snippets Groups Projects

bump to Coq 8.18

Merged bump to Coq 8.18
ci/weak-8.18 into masters/weak_mem
Merged Ralf Jung requested to merge ci/weak-8.18 into masters/weak_mem
Compare
and
2 files
+ 3
− 3
Compare changes
  • Side-by-side
  • Inline
Files
2
.gitlab-ci.yml
+ 2
− 2
@@ -28,10 +28,10 @@ variables:
## Build jobs
build-coq.8.17.0:
build-coq.8.18.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.17.0"
OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
tags: