From: Oto Šťáva <oto.stava@gmail.com>
Date: Mon, 20 Nov 2023 09:29:44 +0000 (+0100)
Subject: ci/images/README.md: note about updating the Coverity Scan image
X-Git-Tag: v6.0.5~12
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=564de97caa3307c447a4813ec7545e875b285696;p=thirdparty%2Fknot-resolver.git

ci/images/README.md: note about updating the Coverity Scan image
---

diff --git a/ci/images/README.md b/ci/images/README.md
index 3d09f6033..52e49fafe 100644
--- a/ci/images/README.md
+++ b/ci/images/README.md
@@ -23,6 +23,11 @@ environment variable, e.g.:
 $ COVERITY_SCAN_TOKEN=the_secret_token ./build.sh debian-11-coverity
 ```
 
+Sometimes, the Coverity Scan binaries need to be updated in order to maintain
+compatibility with the cloud service. Simply rebuild this image and push it to
+the registry to achieve this, no other changes (e.g. to the `Dockerfile`) are
+required.
+
 ### debian-buster (10)
 
 Used to serve the same purpose as `debian-11`. As of 2022-03-09, it is still