See what is happening when downloading Coverity build tool.

This commit is contained in:
Michael R Sweet 2021-12-14 16:20:34 -05:00
parent bd2f9d44d4
commit 79c4b6f8a8
No known key found for this signature in database
GPG Key ID: 999559A027815955

View File

@ -14,7 +14,7 @@ jobs:
run: sudo apt-get install -y zlib1g-dev
- name: Download Coverity Build Tool
run: |
wget -q https://scan.coverity.com/download/linux64 --post-data token="$TOKEN&project=$GITHUB_REPOSITORY" -O cov-analysis-linux64.tar.gz
wget -v -q https://scan.coverity.com/download/linux64 --post-data token="$TOKEN&project=$GITHUB_REPOSITORY" -O cov-analysis-linux64.tar.gz
mkdir cov-analysis-linux64
tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
env: