self-compiled ocaml is the new default

96e88d79 · Ralf Jung · 72a2b8d5 · 96e88d79
Commit 96e88d79 authored Nov 20, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 2 deletions

.gitlab-ci.yml .gitlab-ci.yml +0 -2

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,7 +36,6 @@ build-coq.dev:
 build-coq.8.9.dev:
  <<: *template
  variables:
-    OCAML: "ocaml-base-compiler.4.02.3"
    OPAM_PINS: "coq version 8.9.dev"
    TIMING_PROJECT: "iris"
    TIMING_CONF: "coq-8.9.dev"
@@ -56,7 +55,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-iris"
    TIMING_PROJECT: "iris"