Tweak coverity Github Actions.

This commit is contained in:
Michael R Sweet 2021-10-05 18:19:58 -04:00
parent e67866e29d
commit 3c702096b7
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 run: sudo apt-get install -y zlib1g-dev
- name: Download Coverity Build Tool - name: Download Coverity Build Tool
run: | 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 mkdir cov-analysis-linux64
tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64 tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
env: env: