I meant all the timing jobs

f78ead5b · Ralf Jung · 1a00ee7e · f78ead5b
Commit f78ead5b authored Nov 12, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +1 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -63,6 +63,7 @@ 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"