diff options
| -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 |