Commit 7c4fd7d6 authored by Ralf Jung's avatar Ralf Jung
Browse files

normalize OCaml versions

parent cd39f9a2
Pipeline #65670 passed with stage
in 14 minutes and 46 seconds
...@@ -5,7 +5,7 @@ stages: ...@@ -5,7 +5,7 @@ stages:
variables: variables:
CPU_CORES: "10" CPU_CORES: "10"
OCAML: "ocaml-base-compiler.4.13.1" OCAML: "ocaml-base-compiler.4.14.0"
.only_branches: &only_branches .only_branches: &only_branches
only: only:
...@@ -82,7 +82,7 @@ build-coq.8.12.2: ...@@ -82,7 +82,7 @@ build-coq.8.12.2:
variables: variables:
OPAM_PINS: "coq version 8.12.2" OPAM_PINS: "coq version 8.12.2"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
OCAML: "ocaml-base-compiler.4.08.1" OCAML: "ocaml-base-compiler.4.07.1"
build-coq.8.11.2: build-coq.8.11.2:
<<: *template <<: *template
...@@ -90,4 +90,4 @@ build-coq.8.11.2: ...@@ -90,4 +90,4 @@ build-coq.8.11.2:
variables: variables:
OPAM_PINS: "coq version 8.11.2" OPAM_PINS: "coq version 8.11.2"
DENY_WARNINGS: "1" DENY_WARNINGS: "1"
OCAML: "ocaml-base-compiler.4.08.1" OCAML: "ocaml-base-compiler.4.07.1"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment