diff options
| author | Gaëtan Gilbert | 2020-07-01 09:36:03 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-01 09:36:03 +0200 |
| commit | 69e798fb97487b3a83de3486084a112413850fdf (patch) | |
| tree | 617f27e30ee39c63f00d652caf110794244f98e8 | |
| parent | 119b2188a00530ba85cba37bef981a0c8549661a (diff) | |
| parent | 2168f9e8b95f4e48d9e6ea61e44523977e56be3e (diff) | |
Merge PR #12616: [ci] Disable the OCaml 4.12 target
Reviewed-by: SkySkimmer
| -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 |