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 | Merge branch 'ds/scalar-updates' into maint-2.42 (diff) | |
| parent | ci: avoid building from the same commit in parallel (diff) | |
| download | git-ec7cc187d48e5d23d5eebd273ce62d2b7aaa8e4f.tar.gz git-ec7cc187d48e5d23d5eebd273ce62d2b7aaa8e4f.zip | |
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