From: Vladimír Čunát <vladimir.cunat@nic.cz>
Date: Tue, 22 Feb 2022 10:47:25 +0000 (+0100)
Subject: Merge !1259: .gitlab-ci: Coverity scan
X-Git-Tag: v5.5.0~12
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=refs%2Fenvironments%2Fobs-knot-resolver-es11k1%2Fdeployments%2F2034;p=thirdparty%2Fknot-resolver.git

Merge !1259: .gitlab-ci: Coverity scan

Implements #450
---

a5dffe2f7fea4f9254247422f2763e06726e69e2