diff options
| author | Emilio Jesus Gallego Arias | 2020-07-01 01:03:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-01 01:03:18 +0200 |
| commit | 2168f9e8b95f4e48d9e6ea61e44523977e56be3e (patch) | |
| tree | b409183cb9ecea5477b3f63204616fd70ef646eb | |
| parent | 9c9330f2e3a5ff205973881003c5734034b7d0d5 (diff) | |
[ci] Disable the OCaml 4.12 target
Recent changes in Coqbot plus the unfortunate breakage OCaml upstream
has make this too noisy.
We will re-enable once https://github.com/ocaml/dune/pull/3585
is accepted upstream.
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9e04762d1e..819ad8a214 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -615,10 +615,11 @@ test-suite:4.11+trunk+dune: variables: OCAMLVER: 4.11.0+trunk -test-suite:4.12+trunk+dune: - extends: .test-suite:ocaml+beta+dune-template - variables: - OCAMLVER: 4.12.0+trunk +# Pending on https://github.com/ocaml/dune/pull/3585 +# test-suite:4.12+trunk+dune: +# extends: .test-suite:ocaml+beta+dune-template +# variables: +# OCAMLVER: 4.12.0+trunk test-suite:base+async: extends: .test-suite-template |