aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorTheo Buehler <tb@openbsd.org>2025-06-13 07:28:50 +0200
committerTheo Buehler <tb@openbsd.org>2025-06-13 07:28:50 +0200
commit0170130fc5726a4c1bdb760e23e62516e9d22f3c (patch)
tree29df9fc785e8069e9411e0452a2785d3f0962bad /.github
parent392481066bf04765b6a648c9514b67c2035a34e7 (diff)
downloadportable-0170130fc5726a4c1bdb760e23e62516e9d22f3c.tar.gz
portable-0170130fc5726a4c1bdb760e23e62516e9d22f3c.tar.bz2
portable-0170130fc5726a4c1bdb760e23e62516e9d22f3c.zip
Replace wget -c -N with wget -nv
https://github.com/rpki-client/rpki-client-portable/commit/54a687e045ea381466f8c7628ba64fd79a0bfdec
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/coverity.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 8d0ad11..ae43398 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -31,7 +31,7 @@ jobs:
31 PROJECT: "libressl-portable%2Fportable" 31 PROJECT: "libressl-portable%2Fportable"
32 COVERITY_SCAN_TOKEN: "${{ secrets.COVERITY_SCAN_TOKEN }}" 32 COVERITY_SCAN_TOKEN: "${{ secrets.COVERITY_SCAN_TOKEN }}"
33 run: | 33 run: |
34 wget -c -N https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$PROJECT" -O coverity_tool.tar.gz 34 wget -nv https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$PROJECT" -O coverity_tool.tar.gz
35 mkdir coverity_tool 35 mkdir coverity_tool
36 tar xzf coverity_tool.tar.gz --strip 1 -C coverity_tool 36 tar xzf coverity_tool.tar.gz --strip 1 -C coverity_tool
37 37