From 8ce5889eb82bb75c2aa512ef23f38a145740b51a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= Date: Mon, 8 Aug 2022 09:34:02 +0200 Subject: [PATCH] ci/images/README: clarify usage of build.sh for Coverity Scan --- ci/images/README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ci/images/README.md b/ci/images/README.md index 531c70c58..0224960d0 100644 --- a/ci/images/README.md +++ b/ci/images/README.md @@ -15,6 +15,14 @@ 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. +To build this image, you need to retrieve the Coverity Scan token from the +dashboard and pass it to the `build.sh` script using the `COVERITY_SCAN_TOKEN` +environment variable, e.g.: + +``` +$ COVERITY_SCAN_TOKEN=the_secret_token ./build.sh debian-11-coverity +``` + ### debian-bullseye Used to serve the same purpose as `debian-11`. As of 2022-03-09, it is still -- 2.47.2