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

diff --git a/ci/images/README.md b/ci/images/README.md
index 3d09f6033241486cae2a07340cabdd079858905c..52e49fafeee0e601ba6ea7d7bcff73f668fcfaf4 100644 (file)
--- 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