self-compiled ocaml is the new default

0f2e8baa · Ralf Jung · f78ead5b · 0f2e8baa
Commit 0f2e8baa authored Nov 20, 2018 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -51,7 +51,6 @@ build-coq.8.8.1:
 build-coq.8.8.0:
  <<: *template
  variables:
-    OCAML: "ocaml-base-compiler.4.02.3"
    OPAM_PINS: "coq version 8.8.0"
    OPAM_PKG: "coq-stdpp"
    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
@@ -63,7 +62,6 @@ build-coq.8.8.0:
 build-coq.8.7.2:
  <<: *template
  variables:
-    OCAML: "ocaml-base-compiler.4.02.3"
    OPAM_PINS: "coq version 8.7.2"
    TIMING_PROJECT: "stdpp"
    TIMING_CONF: "coq-8.7.2"