Junio C Hamano 3d0e70ae06 Merge branch 'jc/ci-skip-same-commit' ...

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-08-29 13:51:44 -07:00

..

check-whitespace.yml

Merge branch 'tb/ci-concurrency'

2023-01-16 12:07:46 -08: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'

2023-08-29 13:51:44 -07:00