Skip to content

Don't cancel in-progress API docs builds#193

Merged
jelmer merged 1 commit into0.11from
concurrentdoc
Mar 12, 2026
Merged

Don't cancel in-progress API docs builds#193
jelmer merged 1 commit into0.11from
concurrentdoc

Conversation

@jelmer
Copy link
Copy Markdown
Owner

@jelmer jelmer commented Mar 12, 2026

Scope the concurrency group per-ref and disable cancel-in-progress so that pushes to other branches don't abort the API docs build.

Scope the concurrency group per-ref and disable cancel-in-progress
so that pushes to other branches don't abort the API docs build.
@jelmer jelmer merged commit 4237edf into 0.11 Mar 12, 2026
71 of 78 checks passed
@jelmer jelmer deleted the concurrentdoc branch March 13, 2026 13:28
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.

1 participant