From 915f8190092eaaa6a82215f59b10cb81471ce988 Mon Sep 17 00:00:00 2001 From: Dimitri Papadopoulos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com> Date: Thu, 25 Jun 2026 13:15:06 +0200 Subject: [PATCH] =?UTF-8?q?ci:=20wget=20=E2=86=92=20curl?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Standardise on `curl` instead of using both `wget` and `curl`. Signed-off-by: Dimitri Papadopoulos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com> --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e530eac2..bcb281ed 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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