diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-16 19:52:17 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-16 19:52:17 +0200 |
commit | f01a1e45902bcd7ee077ead7037c809d776f35d2 (patch) | |
tree | af65cfaa3463bf0711f037935b7735ce9a6713a9 /.travis.yml | |
parent | aca979230e6ff72913c63b844954f1ec9dc24d61 (diff) | |
parent | ed91bf1fce168026675f986a0069ca596ad2b806 (diff) |
Merge PR #7514: [ci] Don't build lite versions of CI developments.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/.travis.yml b/.travis.yml index dbe152b5b..23b6f7f60 100644 --- a/.travis.yml +++ b/.travis.yml @@ -93,39 +93,24 @@ matrix: - TEST_TARGET="ci-equations" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-geocoq" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-fcsl-pcm" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-fiat-crypto" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-fiat-parsers" - if: NOT (type = pull_request) env: - TEST_TARGET="ci-flocq" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-formal-topology" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-hott" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-iris-lambda-rust" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-ltac2" - if: NOT (type = pull_request) env: - TEST_TARGET="ci-math-classes" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-math-comp" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-mtac2" - if: NOT (type = pull_request) env: @@ -133,12 +118,6 @@ matrix: - if: NOT (type = pull_request) env: - TEST_TARGET="ci-sf" - - if: NOT (type = pull_request) - env: - - TEST_TARGET="ci-unimath" - - if: NOT (type = pull_request) - env: - - TEST_TARGET="ci-vst" - env: - TEST_TARGET="lint" |