diff --git a/.gitea/workflows/ci.yaml b/.gitea/workflows/ci.yaml index cc60b6e..ac594f0 100644 --- a/.gitea/workflows/ci.yaml +++ b/.gitea/workflows/ci.yaml @@ -21,10 +21,11 @@ on: # somebody's build, so drop it. # # `push` groups on `github.sha` rather than `github.ref`: a constant per-branch -# group is what let this Gitea (1.26.0) cancel two of daniel/gitdan's merge -# runs outright while `cancel-in-progress` was gated away from `push` entirely -# — see the long note in that repo's ci.yaml for the evidence. Giving every -# commit its own group leaves that behaviour nothing to act on. +# group is what let this Gitea cancel two of daniel/gitdan's merge runs +# outright while `cancel-in-progress` was gated away from `push` entirely — +# see the long note in that repo's ci.yaml. Observed on 1.26.0; the instance +# is 1.27.2 now and whether it persists is unverified, which is why every +# commit gets its own group instead of trusting the flag. concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.ref || github.sha }} cancel-in-progress: true