summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Thomson <ethomson@edwardthomson.com>2018-08-17 15:17:07 +0100
committerGitHub <noreply@github.com>2018-08-17 15:17:07 +0100
commitc1ef58ac0540d9b6b65066415da6c588d54c6881 (patch)
treeb9d11dfbc7c931e03b0626f47a94ba55b1650faa
parent622e12c1b26210d5fb2f1136a3ab4d3c81c1d2c8 (diff)
parent6259e29e1a5bed6dfcbab66fbec0883ce179f2c1 (diff)
downloadlibgit2-c1ef58ac0540d9b6b65066415da6c588d54c6881.tar.gz
Merge pull request #4766 from pks-t/pks/travis-remove-coverity
travis: remove Coverity cron job
-rw-r--r--.travis.yml9
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: