git/.github/workflows
Junio C Hamano ec7cc187d4 Merge branch 'jc/ci-skip-same-commit' into maint-2.42
Tweak GitHub Actions CI so that pushing the same commit to multiple
branch tips at the same time will not waste building and testing
the same thing twice.

* jc/ci-skip-same-commit:
  ci: avoid building from the same commit in parallel
2023-11-02 16:53:15 +09: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 'jc/ci-skip-same-commit' into maint-2.42 2023-11-02 16:53:15 +09:00