summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOto Šťáva <oto.stava@nic.cz>2024-05-20 11:01:19 +0200
committerOto Šťáva <oto.stava@nic.cz>2024-05-20 12:18:42 +0200
commit3e4068ffa9aaa8e57a951b00679262042a809d2a (patch)
tree505950c812c19a0c1df560bd2454291e04f0dcfc
parentmodules/hints: fix dname bounds check (diff)
downloadknot-resolver-3e4068ffa9aaa8e57a951b00679262042a809d2a.tar.xz
knot-resolver-3e4068ffa9aaa8e57a951b00679262042a809d2a.zip
.gitlab-ci: fail Coverity Scan on HTTP error
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1c3eb427..61e0c929 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