diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 09:13:52 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-27 09:13:52 -0700 |
| commit | c6aa453fe1c34481f83ca96f5feb8b1a7ad6c734 (patch) | |
| tree | 24f7b6b2c1e28b988f4ddd61f9761777caebf487 /.travis.yml | |
| parent | 9f9f8d29c9428289492e421fc1c464a51a06977e (diff) | |
Remove Coverity build from Travis (#2373)
The Coverity build is now done as part of our nightlies and the Travis
Coverity build was timing out most of the time anyway, so this commit
removes it.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 29 |
1 files changed, 1 insertions, 28 deletions
diff --git a/.travis.yml b/.travis.yml index 27cb2915b..044e43d45 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,9 +19,6 @@ dist: trusty env: global: - # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created - # via the "travis encrypt" command using the project repo's public key - - secure: "fRfdzYwV10VeW5tVSvy5qpR8ZlkXepR7XWzCulzlHs9SRI2YY20BpzWRjyMBiGu2t7IeJKT7qdjq/CJOQEM8WS76ON7QJ1iymKaRDewDs3OhyPJ71fsFKEGgLky9blk7I9qZh23hnRVECj1oJAVry9IK04bc2zyIEjUYpjRkUAQ=" - TEST_GROUPS=2 - CCACHE_COMPRESS=1 addons: @@ -103,8 +100,7 @@ script: [ -n "$TRAVIS_CVC4" ] && run configureCVC4 [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_DISTCHECK" ] && run makeDistcheck [ -n "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_CVC4_DISTCHECK" ] && run makeCheck && run makeExamples - [ -n "$TRAVIS_COVERITY" ] && echo "Running coverity. Skipping the normal build." - [ -z "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_COVERITY" ] && error "Unknown Travis-CI configuration" + [ -z "$TRAVIS_CVC4" ] && error "Unknown Travis-CI configuration" echo "travis_fold:end:load_script" - echo; echo "${green}EVERYTHING SEEMED TO PASS!${normal}" - ccache -s @@ -126,29 +122,6 @@ matrix: - compiler: clang env: - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes TRAVIS_CVC4_CONFIG='--enable-proof' - # Rule for running Coverity Scan. - - os: linux - compiler: gcc - env: - - TRAVIS_COVERITY=yes CVC4_REGRESSION_ARGS='--no-early-exit' - addons: - # Need to duplicate as addons will be over written. - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - *common_deps - coverity_scan: - project: - name: "CVC4/CVC4" - description: "Build submitted via Travis CI" - notification_email: timothy.alan.king@gmail.com - build_command_prepend: "./autogen.sh; ./configure --enable-unit-testing --enable-proof" - build_command: "make V=1 -j4" - branch_pattern: coverity_scan - after_failure: - - cat /home/travis/build/CVC4/CVC4/cov-int/build-log.txt - notifications: email: on_success: change |