Tweak coverity Github Actions.

This commit is contained in:
Michael R Sweet 2021-10-05 18:17:49 -04:00
parent 1d63c6edd6
commit 0ec1dd936f
No known key found for this signature in database
GPG Key ID: 999559A027815955

View File

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