1 files changed, 7 insertions(+), 2 deletions(-)

M .github/workflows/coverity-scan.yml

@@ 24,9 24,14 @@ jobs:
 
     - name: Download Coverity Build Tool
       run: |
-        wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=$TOKEN&project=martanne/vis" -O cov-analysis-linux64.tar.gz
+        wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=$TOKEN&project=martanne/vis" -O coverity_tool.tgz
+        wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=$TOKEN&project=martanne/vis&md5=1" -O coverity_tool.md5
+        if ! (cat coverity_tool.md5; echo "  coverity_tool.tgz") | md5sum -c --status; then
+          echo "Download checksum verification failed"
+          exit 1
+        fi
         mkdir cov-analysis-linux64
-        tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
+        tar xzf coverity_tool.tgz --strip 1 -C cov-analysis-linux64
       env:
         TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}