Searched full:coverity_scan (Results 1 – 15 of 15) sorted by relevance
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
26 coverity_scan() { function27 if [ "${COVERITY_SCAN}" != "true" ] || \67 coverity_scan
18 coverity_scan:24 branch_pattern: coverity_scan
70 coverity_scan:78 branch_pattern: coverity_scan
47 coverity_scan:53 branch_pattern: coverity_scan
69 coverity_scan:85 branch_pattern: coverity_scan
10 coverity_scan:
11 git push -q upstream master:coverity_scan
25 env: USE_CC=gcc-4.8 USE_CXX=g++-4.8 COVERITY_SCAN=true
185 coverity_scan:
27 Before a release is made the `coverity_scan` branch must be updated to the point in git history whe…
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):