diff options
| author | Junio C Hamano <gitster@pobox.com> | 2025-06-13 13:29:14 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-06-13 13:29:15 -0700 |
| commit | 7bd3e5397d271b947e68ea3da6fc3233faa39410 (patch) | |
| tree | 30b7251a9ec6c6903432b94a8d1dfb2069fb26cd | |
| parent | e1f335f3d4877ffa39987e6cd80ae79d1c4100d8 (diff) | |
| parent | 3cc4fc1ebd5003ea0d88684d419cb750f487e352 (diff) | |
| download | git-7bd3e5397d271b947e68ea3da6fc3233faa39410.tar.gz | |
Merge branch 'js/github-ci-win-coverity-fix'
Fixes for GitHub Actions Coverity job.
* js/github-ci-win-coverity-fix:
ci(coverity): output the build log upon error
ci(coverity): fix building on Windows
| -rw-r--r-- | .github/workflows/coverity.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 124301dbbe..01a0437b2f 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -147,9 +147,13 @@ jobs: key: cov-build-${{ env.COVERITY_LANGUAGE }}-${{ env.COVERITY_PLATFORM }}-${{ steps.lookup.outputs.hash }} - name: build with cov-build run: | - export PATH="$RUNNER_TEMP/cov-analysis/bin:$PATH" && + 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 |