diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-10-08 21:53:26 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-08 21:53:26 -0700 |
| commit | 20a00abe35a3f54db5bcb54ca8c04d3f679042ea (patch) | |
| tree | 7db86873586b6954a0528b754e275a83c09712dc /Documentation/config/interactive.txt | |
| parent | Merge branch 'ja/misc-doc-fixes' (diff) | |
| parent | ci: do not skip tagged revisions in GitHub workflows (diff) | |
| download | tgif-20a00abe35a3f54db5bcb54ca8c04d3f679042ea.tar.xz | |
Merge branch 'js/ci-ghwf-dedup-tests'
The logic to skip testing on the tagged commit and the tag itself
was not quite consistent which led to failure of Windows test
tasks. It has been revamped to consistently skip revisions that
have already been tested, based on the tree object of the revision.
* js/ci-ghwf-dedup-tests:
ci: do not skip tagged revisions in GitHub workflows
ci: skip GitHub workflow runs for already-tested commits/trees
Diffstat (limited to 'Documentation/config/interactive.txt')
0 files changed, 0 insertions, 0 deletions