Tweak coverity Github Actions.

This commit is contained in:
Michael R Sweet 2021-10-05 18:21:37 -04:00
parent 3c702096b7
commit f23fd8de59
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/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: