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 /travis-ci | |
parent | 0506d05ab2f96c71431ba220b307ba226a97c6dc (diff) | |
download | systemd-86660d160b7e37365240da1ef28c487e19e3e911.tar.gz |
ci: move the Coverity job to GitHub Actions
Diffstat (limited to 'travis-ci')
-rwxr-xr-x | travis-ci/tools/get-coverity.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/travis-ci/tools/get-coverity.sh b/travis-ci/tools/get-coverity.sh deleted file mode 100755 index 3634e57ad6..0000000000 --- a/travis-ci/tools/get-coverity.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/bash - -# Download and extract coverity tool - -# Environment check -[ -z "$COVERITY_SCAN_TOKEN" ] && echo 'ERROR: COVERITY_SCAN_TOKEN must be set' && exit 1 - -# Use default values if not set -PLATFORM=$(uname) - -TOOL_BASE=${TOOL_BASE:="/tmp/coverity-scan-analysis"} -TOOL_ARCHIVE=${TOOL_ARCHIVE:="/tmp/cov-analysis-${PLATFORM}.tgz"} - -TOOL_URL="https://scan.coverity.com/download/${PLATFORM}" - -# Make sure wget is installed -sudo apt-get update && sudo apt-get -y install wget - -# Get coverity tool -if [ ! -d $TOOL_BASE ]; then - # Download Coverity Scan Analysis Tool - if [ ! -e $TOOL_ARCHIVE ]; then - echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m" - wget -nv -O $TOOL_ARCHIVE $TOOL_URL --post-data "project=$COVERITY_SCAN_PROJECT_NAME&token=$COVERITY_SCAN_TOKEN" - fi - - # Extract Coverity Scan Analysis Tool - echo -e "\033[33;1mExtracting Coverity Scan Analysis Tool...\033[0m" - mkdir -p $TOOL_BASE - pushd $TOOL_BASE - tar xzf $TOOL_ARCHIVE - popd -fi - -echo -e "\033[33;1mCoverity Scan Analysis Tool can be found at $TOOL_BASE ...\033[0m" |