Tweak coverity Github Actions.

This commit is contained in:
Michael R Sweet 2021-10-05 18:37:16 -04:00
parent 494924a78c
commit 835fbda363
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=michaelrsweet\%2Fpdfio -O cov-analysis-linux64.tar.gz
wget -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:
@ -26,14 +26,13 @@ jobs:
cov-build --dir cov-int make
- name: Submit the result to Coverity Scan
run: |
tar czvf pdfio-cov.tgz cov-int
tar czvf cov.tgz cov-int
curl \
--form project=ruby \
--form token=$TOKEN \
--form email=michael.r.sweet@gmail.com \
--form file=@pdfio-cov.tgz \
--form version="Master" \
--form description="Snapshot" \
"https://scan.coverity.com/builds?project=michaelrsweet%2Fpdfio"
--form file=@cov.tgz \
--form version="$GITHUB_REF" \
--form description="$GITHUB_SHA" \
"https://scan.coverity.com/builds?project=$GITHUB_REPOSITORY"
env:
TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}