fix(ci): stop cancelling in-flight docs publish syncs on main pushes (#131155)

Every docs-touching push to main cancelled the in-flight docs-sync-publish
run (per-ref concurrency group with cancel-in-progress: true), and cancelled
runs leave no successor. Under sustained merge velocity the openclaw/docs
mirror never advanced: observed live 2026-08-27 as four consecutive
'completed cancelled' runs while the mirror sat 6 commits behind main.

Queue instead of cancel: GitHub keeps only the newest pending run per
concurrency group, so bursts still collapse to one follow-up run, and the
existing skip_stale_source guard keeps back-to-back completions idempotent.
This is the source-to-mirror half of the docs publish starvation bug; the
mirror-to-R2 half was fixed in openclaw/docs b4b130bd8.
This commit is contained in:
Peter Steinberger
2026-08-27 13:15:37 -07:00
committed by GitHub
parent 0e216b1581
commit 7c65d89e60
+5 -1
View File
@@ -20,8 +20,12 @@ permissions:
contents: read
concurrency:
# cancel-in-progress starved the mirror: every main push cancelled the in-flight
# sync and cancelled runs leave no successor, so under sustained merge velocity
# openclaw/docs never advanced. Queue instead — GitHub keeps only the newest
# pending run per group, and skip_stale_source keeps completed runs idempotent.
group: docs-sync-publish-${{ github.event_name == 'workflow_dispatch' && format('manual-{0}', github.run_id) || github.ref }}
cancel-in-progress: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
cancel-in-progress: false
jobs:
sync-publish-repo: