.gitlab-ci: fail Coverity Scan on HTTP error

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1c3eb4271d27e01737d734fffac275704e01b228..61e0c929cae01660b5c330fe0e9b5fd4401d033f 100644 (file)
--- 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