diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2025-06-11 15:54:38 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-06-11 10:01:14 -0700 |
| commit | 3cc4fc1ebd5003ea0d88684d419cb750f487e352 (patch) | |
| tree | ac116916412fb0e10a13e62c0ad93c839c6cf6be | |
| parent | ci(coverity): fix building on Windows (diff) | |
| download | git-3cc4fc1ebd5003ea0d88684d419cb750f487e352.tar.gz git-3cc4fc1ebd5003ea0d88684d419cb750f487e352.zip | |
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>
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/coverity.yml | 6 |
1 files changed, 5 insertions, 1 deletions
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 |