From: Johannes Schindelin via GitGitGadget Date: Wed, 11 Jun 2025 15:54:38 GMT Subject: [PATCH v2 2/2] ci(coverity): output the build log upon error Message-ID: <52c34977b48a26f3f6a1a62fb81015f319be6205.1749657278.git.gitgitgadget@gmail.com> In-Reply-To: From: Johannes Schindelin It is quite helpful to know what Coverity said, exactly, in case it fails to analyze the code. Signed-off-by: Johannes Schindelin --- .github/workflows/coverity.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index d8a0497d596d..01a0437b2f26 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -149,7 +149,11 @@ jobs: run: | export PATH="$PATH:$RUNNER_TEMP/cov-analysis/bin" && cov-configure --gcc && - cov-build --dir cov-int make + if ! cov-build --dir cov-int make + then + cat cov-int/build-log.txt + exit 1 + fi - name: package the build run: tar -czvf cov-int.tgz cov-int - name: submit the build to Coverity Scan -- gitgitgadget