From: Oto Šťáva <oto.stava@nic.cz>
Date: Mon, 20 May 2024 09:01:19 +0000 (+0200)
Subject: .gitlab-ci: fail Coverity Scan on HTTP error
X-Git-Tag: v5.7.3~3^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e4068ffa9aaa8e57a951b00679262042a809d2a;p=thirdparty%2Fknot-resolver.git

.gitlab-ci: fail Coverity Scan on HTTP error
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1c3eb4271..61e0c929c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -285,6 +285,7 @@ lint:coverity:
       --form token=$COVERITY_SCAN_TOKEN --form email="knot-resolver@labs.nic.cz"
       --form file=@cov-int.tar.gz --form version="`git describe --tags`"
       --form description="`git describe --tags` / $CI_COMMIT_TITLE / $CI_COMMIT_REF_NAME:$CI_PIPELINE_ID"
+      --fail-with-body
 
 .kres-gen: &kres-gen
   <<: *sanity