2026-09-02 18:54:43 +00:00
1 changed files with 5 additions and 4 deletions
@@ -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