From 564de97caa3307c447a4813ec7545e875b285696 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= Date: Mon, 20 Nov 2023 10:29:44 +0100 Subject: [PATCH] ci/images/README.md: note about updating the Coverity Scan image --- ci/images/README.md | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.47.2