Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

CI: Remove use of wget from coverity workflow

Browse source
This commit is contained in:
Tim Wojtulewicz 2025-01-05 12:22:21 -07:00
parent b0b534dbda
commit 2cc2056310
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.github/workflows/coverity-scan.yml vendored
View file

@ -43,7 +43,6 @@ jobs:
python3-pip \ python3-pip \
sqlite3 \ sqlite3 \
swig \ swig \
wget \
zlib1g-dev zlib1g-dev
- name: Configure - name: Configure
@ -53,10 +52,11 @@ jobs:
env: env:
COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }} COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
run: | run: |
wget \ curl \
-nv https://scan.coverity.com/download/cxx/linux64 \ -o coverity_tool.gz
--post-data "token=${COVERITY_TOKEN}&project=Bro" \ -d token=${COVERITY_TOKEN}
-O coverity_tool.tgz -d project=Bro
https://scan.coverity.com/download/cxx/linux64
tar xzf coverity_tool.tgz tar xzf coverity_tool.tgz
rm coverity_tool.tgz rm coverity_tool.tgz
mv cov-analysis* coverity-tools mv cov-analysis* coverity-tools