From 86660d160b7e37365240da1ef28c487e19e3e911 Mon Sep 17 00:00:00 2001
From: Frantisek Sumsal <frantisek@sumsal.cz>
Date: Fri, 8 Jan 2021 21:45:08 +0100
Subject: ci: move the Coverity job to GitHub Actions

---
 travis-ci/tools/get-coverity.sh | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100755 travis-ci/tools/get-coverity.sh

(limited to 'travis-ci')

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"
-- 
cgit v1.2.1