diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-08-29 13:51:44 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-08-29 13:51:44 -0700 |
| commit | 3d0e70ae069f013ab89f40b74dedb2cdd119925e (patch) | |
| tree | 38f2e846ecd8b8e51b12ebccf32769737a3d2f1a /git-gui/lib | |
| parent | 19cb1fc37b1fbbf4a8c616fec333ecd77366468f (diff) | |
| parent | 99fe06cbfd660726b1601a4d36897ed90e5d5b64 (diff) | |
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
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions