From 58a20d7268608a701a4cd8f51baaa7ba42d23f82 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 19 Sep 2019 11:25:46 +0200
Subject: [ci] Remove OCaml "trunk" CI jobs.

It will take non-trivial effort to make Coq work with OCaml >= 4.10.0.
---
 dune | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'dune')

diff --git a/dune b/dune
index 6fb0612e4e..832c864fc3 100644
--- a/dune
+++ b/dune
@@ -4,9 +4,7 @@
  (release (flags :standard -rectypes)
           (ocamlopt_flags -O3 -unbox-closures))
  (ireport (flags :standard -rectypes -w -9-27-40+60)
-          (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))
- (ocaml409
-  (flags :standard -strict-sequence -strict-formats -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated)))
+          (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report)))
 
 ; Information about flags for release mode:
 ;
-- 
cgit v1.2.3