File tree Expand file tree Collapse file tree 1 file changed +8
-4
lines changed
Expand file tree Collapse file tree 1 file changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -65,8 +65,12 @@ matrix:
6565 - MBEDTLS=1
6666 CMAKE_OPTIONS="-DTHREADSAFE=OFF -DBUILD_EXAMPLES=ON -DUSE_HTTPS=mbedTLS -DSHA1_BACKEND=mbedTLS -DMBEDTLS_ROOT_DIR=/tmp/mbedtls"
6767 os : linux
68- allow_failures :
69- - env : COVERITY=1
68+ - compiler : gcc
69+ if : type = cron
70+ env :
71+ - CMAKE_OPTIONS="-DBUILD_CLAR=ON -DCMAKE_BUILD_TYPE=Debug"
72+ COVERITY=1
73+ os : linux
7074
7175install :
7276 - if [ -f ./ci/setup-${TRAVIS_OS_NAME}.sh ]; then ./ci/setup-${TRAVIS_OS_NAME}.sh; fi
@@ -75,8 +79,8 @@ install:
7579script :
7680 - mkdir build
7781 - cd build
78- - if [ "$TRAVIS_EVENT_TYPE" = "cron " ]; then ../ci/coverity.sh; fi
79- - if [ "$TRAVIS_EVENT_TYPE" != "cron " ]; then ../ci/build.sh && ../ci/test.sh; fi
82+ - if [ -n "$COVERITY " ]; then ../ci/coverity.sh; fi
83+ - if [ -z "$COVERITY " ]; then ../ci/build.sh && ../ci/test.sh; fi
8084
8185# Only watch the development and master branches
8286branches :
You can’t perform that action at this time.
0 commit comments