Skip to content

👷 Prevent concurrent documentation deployments - #1428

Merged
0x46616c6b merged 1 commit into
mainfrom
fix/docs-deploy-concurrency
Nov 3, 2026
Merged

0x46616c6b merged 1 commit into
mainfrom
fix/docs-deploy-concurrency

Conversation

@0x46616c6b

Copy link
Copy Markdown
Member

Summary

The Documentation workflow fails intermittently when several commits land on main in quick succession. Each push starts its own deploy run, and when two runs push to gh-pages at the same time, the later one is rejected:

! [remote rejected] gh-pages -> gh-pages (cannot lock ref 'refs/heads/gh-pages': is at … but expected …)

Example: https://github.com/systemli/userli/actions/runs/41697580112

This adds a concurrency group to the workflow so only one deploy runs at a time. A newer run cancels an in-progress one, which is fine because the latest commit always contains the full, current docs.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@0x46616c6b 0x46616c6b added bug Something isn't working github_actions Pull requests that update Github_actions code labels Nov 3, 2026
@0x46616c6b
0x46616c6b marked this pull request as ready for review November 3, 2026 19:30
@sonarqubecloud

sonarqubecloud Bot commented Nov 3, 2026

Copy link
Copy Markdown

@0x46616c6b
0x46616c6b merged commit be5854d into main Nov 3, 2026
13 checks passed
@0x46616c6b
0x46616c6b deleted the fix/docs-deploy-concurrency branch November 3, 2026 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working github_actions Pull requests that update Github_actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant