| commit | 3d0e70ae069f013ab89f40b74dedb2cdd119925e | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Tue, 29 Aug 2023 20:51:44 +0000 (29 13:51 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Tue, 29 Aug 2023 20:51:44 +0000 (29 13:51 -0700) | ||
| tree | 38f2e846ecd8b8e51b12ebccf32769737a3d2f1a | treesnapshot (tar.gz zip) |
| parent | 19cb1fc37b1fbbf4a8c616fec333ecd77366468f | commitdiff |
| parent | 99fe06cbfd660726b1601a4d36897ed90e5d5b64 | commitdiff |
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
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
| .github/workflows/main.yml | diff1 | diff2 | blobhistory |