development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-09-18 07:51:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
git/.github/workflows
History
Junio C Hamano 4ae4c70577 Merge branch 'js/ci-coverity' 
GitHub CI workflow has learned to trigger Coverity check.

* js/ci-coverity:
  coverity: detect and report when the token or project is incorrect
  coverity: allow running on macOS
  coverity: support building on Windows
  coverity: allow overriding the Coverity project
  coverity: cache the Coverity Build Tool
  ci: add a GitHub workflow to submit Coverity scans
2023-10-12 12:18:27 -07:00
..
check-whitespace.yml Merge branch 'tb/ci-concurrency' 2023-01-16 12:07:46 -08:00
coverity.yml coverity: detect and report when the token or project is incorrect 2023-10-05 11:45:46 -07:00
l10n.yml Merge branch 'tb/ci-concurrency' 2023-01-16 12:07:46 -08:00
main.yml Merge branch 'jk/ci-retire-allow-ref' 2023-09-07 15:06:08 -07:00