Skip to content

ci: publish docs after openapi auto-merge#197

Merged
jlin27 merged 1 commit intomainfrom
jlin/publish-docs-after-openapi-merge
May 1, 2026
Merged

ci: publish docs after openapi auto-merge#197
jlin27 merged 1 commit intomainfrom
jlin/publish-docs-after-openapi-merge

Conversation

@jlin27
Copy link
Copy Markdown
Contributor

@jlin27 jlin27 commented May 1, 2026

Summary

  • Adds closed to the pull_request trigger types so the workflow fires when a PR is merged
  • Adds a publish-docs job that runs fern generate --docs after an openapi update PR is merged
  • The existing auto-merge job is unchanged in behavior (explicitly skips closed events)

Why

When GitHub auto-merges a PR using GITHUB_TOKEN, it does not trigger downstream workflows (by design, to prevent loops). This means the existing publish-docs.yml push-to-main trigger never fires after an automated openapi update, so the docs site doesn't rebuild.

Test plan

  • Merge this PR and verify the workflow file is correct on main
  • Wait for the next openapi update PR from 0x-automation[bot] and confirm the publish-docs job runs after merge

🤖 Generated with Claude Code

Add a publish-docs job to the auto-merge workflow that triggers on PR
close/merge, so docs are rebuilt with the latest OpenAPI spec after each
automated update.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 1, 2026

@jlin27 jlin27 merged commit 5708fa8 into main May 1, 2026
3 checks passed
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