diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:15 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:15 +0900 |
| commit | ec7cc187d48e5d23d5eebd273ce62d2b7aaa8e4f (patch) | |
| tree | 9a44856604a0b254aa05e2f2ccf8d52065312b21 /diff.c | |
| parent | 50758312f2d29a32858ccd25b24ea64ae8a04cb1 (diff) | |
| parent | 99fe06cbfd660726b1601a4d36897ed90e5d5b64 (diff) | |
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
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions