From 3e4068ffa9aaa8e57a951b00679262042a809d2a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= <oto.stava@nic.cz>
Date: Mon, 20 May 2024 11:01:19 +0200
Subject: [PATCH] .gitlab-ci: fail Coverity Scan on HTTP error

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.47.2