Skip to content

Add concurrency limit on publish-docs#205

Merged
pbeaucage merged 2 commits intomainfrom
204-docs-race-condition
Jun 25, 2025
Merged

Add concurrency limit on publish-docs#205
pbeaucage merged 2 commits intomainfrom
204-docs-race-condition

Conversation

@pbeaucage
Copy link
Copy Markdown
Collaborator

Fixes #204 by adding a concurrency limit to the docs workflow forcing one-at-a-time execution.

@pbeaucage pbeaucage linked an issue Apr 22, 2025 that may be closed by this pull request
fix again for prerelease

revert 1

revert 1

revert 2

revert 3
@pbeaucage pbeaucage force-pushed the 204-docs-race-condition branch from b102270 to 83dc367 Compare May 7, 2025 14:38
@pbeaucage pbeaucage merged commit 0fc091b into main Jun 25, 2025
11 checks passed
@pbeaucage pbeaucage deleted the 204-docs-race-condition branch June 25, 2025 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ci,bug: Docs race condition

1 participant