From: Vladimír Čunát Date: Mon, 8 Jun 2026 08:49:38 +0000 (+0200) Subject: Merge !1850: ci: lint:coverity: allow failure X-Git-Tag: v6.4.0~3 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=b3fa495c22eacb20863ee25225617b77f6c605d9;p=thirdparty%2Fknot-resolver.git Merge !1850: ci: lint:coverity: allow failure --- b3fa495c22eacb20863ee25225617b77f6c605d9