Skip to content

ci(docs): build docs on pull requests, deploy only on push - #9

Merged
ssweber merged 1 commit into
mainfrom
ci/docs-pr-checks
Sep 9, 2026
Merged

ssweber merged 1 commit into
mainfrom
ci/docs-pr-checks

Conversation

@ssweber

@ssweber ssweber commented Sep 9, 2026

Copy link
Copy Markdown
Owner

The docs workflow only ran on push to main, so a broken workflow file or a failing strict build wasn't caught until after merge. This adds a pull_request trigger and gates the Pages upload and deploy jobs to non-PR events, the same shape pyrung and pyclickplc already use.

This PR is its own first test: the build job should run on it and the deploy job should be skipped.

🤖 Generated with Claude Code

https://claude.ai/code/session_01EoBDBgdPbhHrkQEQdzmW2z

Run the docs build, route checks, and public-site guard on every PR to
main so a broken workflow or build is caught before merge. The Pages
upload and deploy stay gated to push and manual runs, matching pyrung
and pyclickplc.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EoBDBgdPbhHrkQEQdzmW2z
@ssweber
ssweber merged commit d93c792 into main Sep 9, 2026
2 checks passed
@ssweber
ssweber deleted the ci/docs-pr-checks branch September 9, 2026 15:46
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