Skip to content
Snippets Groups Projects

bump to Coq 8.20

Merged bump to Coq 8.20
coqbump into master
Merged Ralf Jung requested to merge coqbump into master
Compare
and
3 files
+ 8
− 6
Compare changes
  • Side-by-side
  • Inline
Files
3
.gitlab-ci.yml
+ 5
− 5
@@ -48,10 +48,10 @@ build-coq.dev:
@@ -48,10 +48,10 @@ build-coq.dev:
OCAML: "ocaml-base-compiler.4.14.0" # for faster rebuilds
OCAML: "ocaml-base-compiler.4.14.0" # for faster rebuilds
OPAM_PINS: "coq version dev"
OPAM_PINS: "coq version dev"
build-coq.8.19.0:
build-coq.8.20.0:
<<: *template
<<: *template
variables:
variables:
OPAM_PINS: "coq version 8.19.0"
OPAM_PINS: "coq version 8.20.0"
DENY_WARNINGS: "1"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
MANGLE_NAMES: "1"
# Coq bench needs an opam package
# Coq bench needs an opam package
@@ -60,18 +60,18 @@ build-coq.8.19.0:
@@ -60,18 +60,18 @@ build-coq.8.19.0:
- fp-timing
- fp-timing
# Separate MR job that does not run on fp-timing.
# Separate MR job that does not run on fp-timing.
build-coq.8.19.0-mr:
build-coq.8.20.0-mr:
<<: *template
<<: *template
<<: *only_mr
<<: *only_mr
variables:
variables:
OPAM_PINS: "coq version 8.19.0"
OPAM_PINS: "coq version 8.20.0"
MANGLE_NAMES: "1"
MANGLE_NAMES: "1"
DENY_WARNINGS: "1"
DENY_WARNINGS: "1"
trigger-iris.timing:
trigger-iris.timing:
<<: *template
<<: *template
variables:
variables:
OPAM_PINS: "coq version 8.19.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
OPAM_PINS: "coq version 8.20.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
tags:
tags:
- fp-timing
- fp-timing
only:
only: