Skip to content

[CI] Serialize api doc workflow#494

Merged
hughperkins merged 2 commits into
mainfrom
hp/retry-docs-publish
Apr 17, 2026
Merged

[CI] Serialize api doc workflow#494
hughperkins merged 2 commits into
mainfrom
hp/retry-docs-publish

Conversation

@hughperkins
Copy link
Copy Markdown
Collaborator

Issue: #

Brief Summary

copilot:summary

Walkthrough

copilot:walkthrough

Copy link
Copy Markdown

@claude claude Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM — simple job-level concurrency addition to serialize gh-pages deployments across refs.

Extended reasoning...

Overview

Single change to .github/workflows/api_doc.yml: adds a concurrency.group: gh-pages-deploy block at the job level. This serializes the deploy job across all workflow runs regardless of ref, complementing the existing workflow-level concurrency that cancels same-ref duplicates.

Security risks

None. This is a CI configuration change with no access to secrets beyond the existing GITHUB_TOKEN usage, no new permissions, and no logic changes.

Level of scrutiny

Low. The change is mechanical and the intent is clear: prevent concurrent gh-pages deployments from racing. The fixed group name (no cancel-in-progress) means jobs queue rather than cancel, which is appropriate for serialization semantics.

Other factors

No bugs found, no prior reviews, clean diff touching only one CI file.

@hughperkins hughperkins merged commit ca91f5f into main Apr 17, 2026
45 checks passed
@hughperkins hughperkins deleted the hp/retry-docs-publish branch April 17, 2026 11:21
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