Searched full:coverity_scan (Results 1 – 17 of 17) sorted by relevance
7 only_if: $CIRRUS_BRANCH != 'coverity_scan'27 only_if: $CIRRUS_BRANCH != 'coverity_scan'45 only_if: $CIRRUS_BRANCH != 'coverity_scan'60 only_if: $CIRRUS_BRANCH != 'coverity_scan'68 only_if: $CIRRUS_BRANCH == 'coverity_scan'
7 - coverity_scan
20 if [ "$TRAVIS_BRANCH" != "coverity_scan" ]; then31 # branch is coverity_scan37 echo "Nothing to do on the coverity_scan branch...exiting!"41 # ensure coverity_scan tool is available to the container
13 if [ "$TRAVIS_BRANCH" != "coverity_scan" ]; then
18 # Do not run tests when building on coverity_scan branch
7 only_if: $CIRRUS_BRANCH != 'coverity_scan'33 only_if: $CIRRUS_BRANCH != 'coverity_scan'59 only_if: $CIRRUS_BRANCH != 'coverity_scan'73 only_if: $CIRRUS_BRANCH == 'coverity_scan'
26 coverity_scan() { function27 if [ "${COVERITY_SCAN}" != "true" ] || \67 coverity_scan
18 coverity_scan:24 branch_pattern: coverity_scan
50 coverity_scan:56 branch_pattern: coverity_scan
98 coverity_scan:104 branch_pattern: coverity_scan
10 coverity_scan:
25 env: USE_CC=gcc-4.8 USE_CXX=g++-4.8 COVERITY_SCAN=true
27 Before a release is made the `coverity_scan` branch must be updated to the point in git history whe…
185 coverity_scan:
111 if ("HEAD" not in line) and ("coverity_scan" not in line) and ("gh-pages" not in line):
114 if ("HEAD" not in line) and ("coverity_scan" not in line) and ("gh-pages" not in line):