From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 11 Jun 2025 15:54:38 +0000 (+0000)
Subject: ci(coverity): output the build log upon error
X-Git-Tag: v2.50.0~2^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=3cc4fc1ebd5003ea0d88684d419cb750f487e352;p=thirdparty%2Fgit.git

ci(coverity): output the build log upon error

It is quite helpful to know what Coverity said, exactly, in case it
fails to analyze the code.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index d8a0497d59..01a0437b2f 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