GitLab/ocserv
1
0
Fork 0
mirror of https://gitlab.com/openconnect/ocserv.git synced 2026-08-09 09:51:49 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'tmp-wget' into 'master'

Browse Source 
ci: wget → curl

See merge request openconnect/ocserv!591
This commit is contained in:
Dimitri Papadopoulos Orfanos
2026-07-09 10:16:51 +03:00
parent f3f74de305 915f819009
commit 7e8ce7078f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitlab-ci.yml
+1 -1
View File
@@ -198,7 +198,7 @@ Coverity:
- schedules
- coverity
script:
- wget --quiet https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$COVERITY_SCAN_PROJECT_NAME" -O /tmp/coverity_tool.tgz
- curl --silent https://scan.coverity.com/download/linux64 --data "token=$COVERITY_SCAN_TOKEN&project=$COVERITY_SCAN_PROJECT_NAME" -o /tmp/coverity_tool.tgz
- tar xfz /tmp/coverity_tool.tgz
- git submodule update --init
- CFLAGS="-g -O0" meson setup build -Dlatency-stats=enabled