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 /commit.c | |
parent | e1f335f3d4877ffa39987e6cd80ae79d1c4100d8 (diff) | |
parent | 3cc4fc1ebd5003ea0d88684d419cb750f487e352 (diff) |
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
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions