git/.github
Junio C Hamano 7bd3e5397d 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
2025-06-13 13:29:15 -07:00
..
workflows Merge branch 'js/github-ci-win-coverity-fix' 2025-06-13 13:29:15 -07:00
CONTRIBUTING.md
PULL_REQUEST_TEMPLATE.md .github/PULL_REQUEST_TEMPLATE.md: add a note about single-commit PRs 2024-02-06 12:22:55 -08:00