]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'js/github-ci-win-coverity-fix'
authorJunio C Hamano <gitster@pobox.com>
Fri, 13 Jun 2025 20:29:14 +0000 (13:29 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 13 Jun 2025 20:29:15 +0000 (13:29 -0700)
commit7bd3e5397d271b947e68ea3da6fc3233faa39410
tree30b7251a9ec6c6903432b94a8d1dfb2069fb26cd
parente1f335f3d4877ffa39987e6cd80ae79d1c4100d8
parent3cc4fc1ebd5003ea0d88684d419cb750f487e352
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