From c05283cb80f81c521bb3a0d8e742d693b7db1a64 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 11 Jul 2018 17:37:20 +0200
Subject: [ci] Remove warning jobs in favor of default `-warn-error yes`

As discussed in #6930, we remove the warnings jobs and instead do
require the developers to submit a clean build.
---
 .travis.yml | 32 +-------------------------------
 1 file changed, 1 insertion(+), 31 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 3301d97ce..53fbe5821 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -164,36 +164,6 @@ matrix:
           - avsm
           packages: *extra-packages
 
-    # Ocaml warnings with two compilers
-    - if: NOT (type = pull_request)
-      env:
-      - MAIN_TARGET="coqocaml"
-      - EXTRA_CONF="-byte-only -coqide byte -warn-error yes"
-      - EXTRA_OPAM="${LABLGTK}"
-      addons:
-        apt:
-          sources:
-          - avsm
-          packages: &coqide-packages
-          - opam
-          - aspcud
-          - libgtk2.0-dev
-          - libgtksourceview2.0-dev
-
-    - if: NOT (type = pull_request)
-      env:
-      - MAIN_TARGET="coqocaml"
-      - COMPILER="${COMPILER_BE}"
-      - FINDLIB_VER="${FINDLIB_VER_BE}"
-      - CAMLP5_VER="${CAMLP5_VER_BE}"
-      - EXTRA_CONF="-byte-only -coqide byte -warn-error yes"
-      - EXTRA_OPAM="${LABLGTK_BE}"
-      addons:
-        apt:
-          sources:
-          - avsm
-          packages: *coqide-packages
-
     - os: osx
       env:
       - TEST_TARGET="test-suite"
@@ -260,7 +230,7 @@ script:
 - echo -en 'travis_fold:end:coq.clean\\r'
 
 - echo 'Configuring Coq...' && echo -en 'travis_fold:start:coq.config\\r'
-- ./configure ${COQ_DEST} -native-compiler ${NATIVE_COMP} ${EXTRA_CONF}
+- ./configure ${COQ_DEST} -warn-error yes -native-compiler ${NATIVE_COMP} ${EXTRA_CONF}
 - echo -en 'travis_fold:end:coq.config\\r'
 
 - echo 'Building Coq...' && echo -en 'travis_fold:start:coq.build\\r'
-- 
cgit v1.2.3