diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-11 17:37:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-12 15:12:59 +0200 |
| commit | c05283cb80f81c521bb3a0d8e742d693b7db1a64 (patch) | |
| tree | fe263de62bcd6cafb85b9ae0151188d3e16a8e8b /.travis.yml | |
| parent | 31fce698ec8c3186dc6af49961e8572e81cab50b (diff) | |
[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.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 32 |
1 files changed, 1 insertions, 31 deletions
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' |