From 2168f9e8b95f4e48d9e6ea61e44523977e56be3e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 1 Jul 2020 01:03:18 +0200
Subject: [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.
---
 .gitlab-ci.yml | 9 +++++----
 1 file 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
-- 
cgit v1.2.3