Skip to content

ci(docs): serialize docs deploys to prevent gh-pages races#31

Merged
rennf93 merged 1 commit into
masterfrom
ci/docs-concurrency
Jun 23, 2026
Merged

ci(docs): serialize docs deploys to prevent gh-pages races#31
rennf93 merged 1 commit into
masterfrom
ci/docs-concurrency

Conversation

@rennf93

@rennf93 rennf93 commented Jun 23, 2026

Copy link
Copy Markdown
Owner

Batch-merging PRs triggered several concurrent mike deploy --push runs that raced on the gh-pages ref (the losers failed with "fetch first" / "cannot lock ref"). A workflow-level concurrency group serializes them (cancel-in-progress: false so none is cancelled mid-push). The already-failed runs were re-deployed manually; this prevents recurrence.

Several rapid master pushes (e.g. merging a batch of PRs) each triggered a
`mike deploy --push`, and the concurrent jobs raced on the gh-pages ref —
the losers failed with "fetch first" / "cannot lock ref". A workflow-level
concurrency group serializes deploys (cancel-in-progress: false, so each
completes rather than being cancelled mid-push), so the latest content
always lands and no run is rejected.
@github-actions github-actions Bot added the ci GitHub Actions and pre-commit label Jun 23, 2026
@rennf93
rennf93 merged commit c9b2fd6 into master Jun 23, 2026
2 of 3 checks passed
@rennf93
rennf93 deleted the ci/docs-concurrency branch June 23, 2026 21:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci GitHub Actions and pre-commit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant