]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge !1850: ci: lint:coverity: allow failure docs-master-mgcjyq/deployments/9281
authorVladimír Čunát <vladimir.cunat@nic.cz>
Mon, 8 Jun 2026 08:49:38 +0000 (10:49 +0200)
committerVladimír Čunát <vladimir.cunat@nic.cz>
Mon, 8 Jun 2026 08:49:38 +0000 (10:49 +0200)

Trivial merge