diff options
author | Edward Thomson <ethomson@edwardthomson.com> | 2018-08-17 15:17:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-17 15:17:07 +0100 |
commit | c1ef58ac0540d9b6b65066415da6c588d54c6881 (patch) | |
tree | b9d11dfbc7c931e03b0626f47a94ba55b1650faa | |
parent | 622e12c1b26210d5fb2f1136a3ab4d3c81c1d2c8 (diff) | |
parent | 6259e29e1a5bed6dfcbab66fbec0883ce179f2c1 (diff) | |
download | libgit2-c1ef58ac0540d9b6b65066415da6c588d54c6881.tar.gz |
Merge pull request #4766 from pks-t/pks/travis-remove-coverity
travis: remove Coverity cron job
-rw-r--r-- | .travis.yml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/.travis.yml b/.travis.yml index 40f1d2339..21c8580fe 100644 --- a/.travis.yml +++ b/.travis.yml @@ -65,12 +65,6 @@ matrix: - MBEDTLS=1 CMAKE_OPTIONS="-DTHREADSAFE=OFF -DBUILD_EXAMPLES=ON -DUSE_HTTPS=mbedTLS -DSHA1_BACKEND=mbedTLS -DMBEDTLS_ROOT_DIR=/tmp/mbedtls" os: linux - - compiler: gcc - if: type = cron - env: - - CMAKE_OPTIONS="-DBUILD_CLAR=ON -DCMAKE_BUILD_TYPE=Debug" - COVERITY=1 - os: linux install: - if [ -f ./ci/setup-${TRAVIS_OS_NAME}.sh ]; then ./ci/setup-${TRAVIS_OS_NAME}.sh; fi @@ -79,8 +73,7 @@ install: script: - mkdir build - cd build - - if [ -n "$COVERITY" ]; then ../ci/coverity.sh; fi - - if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi + - ../ci/build.sh && ../ci/test.sh # Only watch the development and master branches branches: |