diff options
| author | Frantisek Sumsal <frantisek@sumsal.cz> | 2021-01-08 21:45:08 +0100 |
|---|---|---|
| committer | Frantisek Sumsal <frantisek@sumsal.cz> | 2021-01-11 15:50:25 +0100 |
| commit | 86660d160b7e37365240da1ef28c487e19e3e911 (patch) | |
| tree | 904e1e2d71874c0f7880deb0eaed7ac47ecdb0e4 /tools/coverity.sh | |
| parent | 0506d05ab2f96c71431ba220b307ba226a97c6dc (diff) | |
| download | systemd-86660d160b7e37365240da1ef28c487e19e3e911.tar.gz | |
ci: move the Coverity job to GitHub Actions
Diffstat (limited to 'tools/coverity.sh')
| -rwxr-xr-x | tools/coverity.sh | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/tools/coverity.sh b/tools/coverity.sh index 5d3b7e2918..8aa0544466 100755 --- a/tools/coverity.sh +++ b/tools/coverity.sh @@ -22,17 +22,11 @@ echo -e "\033[33;1mNote: COVERITY_SCAN_PROJECT_NAME and COVERITY_SCAN_TOKEN are [ -z "$COVERITY_SCAN_BUILD_COMMAND" ] && echo "ERROR: COVERITY_SCAN_BUILD_COMMAND must be set" && exit 1 [ -z "$COVERITY_SCAN_TOKEN" ] && echo "ERROR: COVERITY_SCAN_TOKEN must be set" && exit 1 -# Do not run on pull requests -if [ "${TRAVIS_PULL_REQUEST}" = "true" ]; then - echo -e "\033[33;1mINFO: Skipping Coverity Analysis: branch is a pull request.\033[0m" - exit 0 -fi - # Verify this branch should run -if [[ "${TRAVIS_BRANCH^^}" =~ "${COVERITY_SCAN_BRANCH_PATTERN^^}" ]]; then - echo -e "\033[33;1mCoverity Scan configured to run on branch ${TRAVIS_BRANCH}\033[0m" +if [[ "${CURRENT_REF^^}" =~ "${COVERITY_SCAN_BRANCH_PATTERN^^}" ]]; then + echo -e "\033[33;1mCoverity Scan configured to run on branch ${CURRENT_REF}\033[0m" else - echo -e "\033[33;1mCoverity Scan NOT configured to run on branch ${TRAVIS_BRANCH}\033[0m" + echo -e "\033[33;1mCoverity Scan NOT configured to run on branch ${CURRENT_REF}\033[0m" exit 1 fi |