From b2344b3f320b6e603735edf0aaaceed6a18fd081 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 20 Aug 2020 21:42:24 +0200
Subject: CI: stop testing 4.11+trunk

Now that 4.11.0 is released the trunk job doesn't work.

4.12 also doesn't work for separate reasons ("No rule found for
kernel/byterun/byterun.a")

We will separately update the edge switch in the docker image to use 4.11.0.
---
 .gitlab-ci.yml | 6 ------
 1 file changed, 6 deletions(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 32b05ec746..9ec9b251e6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -612,12 +612,6 @@ test-suite:edge:dune:dev:
     expire_in: 2 week
   allow_failure: true
 
-test-suite:4.11+trunk+dune:
-  extends: .test-suite:ocaml+beta+dune-template
-  variables:
-    OCAMLVER: 4.11.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:
-- 
cgit v1.2.3