From: Andres Noetzli Date: Mon, 27 Aug 2018 16:13:52 +0000 (-0700) Subject: Remove Coverity build from Travis (#2373) X-Git-Tag: cvc5-1.0.0~4717 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6aa453fe1c34481f83ca96f5feb8b1a7ad6c734;p=cvc5.git 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. --- 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