From: Oto Šťáva <oto.stava@nic.cz>
Date: Mon, 21 Mar 2022 05:55:06 +0000 (+0100)
Subject: ci/images: add debian-11-coverity description
X-Git-Tag: v5.5.1~24^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7cbc3cea7b44052249f65f358f822fcff1aaeafd;p=thirdparty%2Fknot-resolver.git

ci/images: add debian-11-coverity description
---

diff --git a/ci/images/README.md b/ci/images/README.md
index 1c72591d4..531c70c58 100644
--- a/ci/images/README.md
+++ b/ci/images/README.md
@@ -6,10 +6,19 @@
 
 The main image used by shared runners to execute most CI builds and tests.
 
+### debian-11-coverity
+
+A stripped down version of `debian-11`. It only contains build (not test)
+dependencies of `kresd`. It also contains the `cov-build` tool for generating
+inputs for [Coverity Scan](https://scan.coverity.com/).
+
+It is used by the `coverity` CI job to generate and send data to Coverity Scan
+for analysis.
+
 ### debian-bullseye
 
-Used to serve the same as `debian-11`. As of 2022-03-09, it is still used by
-some jobs (linters).
+Used to serve the same purpose as `debian-11`. As of 2022-03-09, it is still
+used by some jobs (linters).
 
 ### lxc-debian-11