Fix coverity token variable (#151)

This commit is contained in:
Yo-An Lin 2022-07-20 19:08:42 +08:00 committed by GitHub
parent edbeb0631d
commit 25cc816025
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,7 +11,7 @@ jobs:
- name: Download Coverity - name: Download Coverity
run: | run: |
cd .. cd ..
wget -q https://scan.coverity.com/download/linux64 --post-data "token=${COVERITY_TOKEN}&project=r3" -O coverity-linux64.tgz wget -q https://scan.coverity.com/download/linux64 --post-data "token=${{secrets.COVERITY_TOKEN}}&project=r3" -O coverity-linux64.tgz
mkdir coverity mkdir coverity
tar xzf coverity-linux64.tgz --strip 1 -C coverity tar xzf coverity-linux64.tgz --strip 1 -C coverity
echo "$(pwd)/coverity/bin" >> $GITHUB_PATH echo "$(pwd)/coverity/bin" >> $GITHUB_PATH
@ -28,7 +28,7 @@ jobs:
run: | run: |
tar czvf r3.tgz cov-int tar czvf r3.tgz cov-int
curl \ curl \
--form token=${COVERITY_TOKEN} \ --form token=${{secrets.COVERITY_TOKEN}} \
--form email=yoanlin93+github@gmail.com \ --form email=yoanlin93+github@gmail.com \
--form file=@r3.tgz \ --form file=@r3.tgz \
--form version=${GITHUB_SHA} \ --form version=${GITHUB_SHA} \