From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 13 Jun 2025 20:29:14 +0000 (-0700)
Subject: Merge branch 'js/github-ci-win-coverity-fix'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=7bd3e5397d271b947e68ea3da6fc3233faa39410;p=rit

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

7bd3e5397d271b947e68ea3da6fc3233faa39410