Skip to content

ci: build the docs site on pull requests - #93

Merged
ajbarea merged 1 commit into
mainfrom
ci-docs-pr-gate
Sep 16, 2026
Merged

ajbarea merged 1 commit into
mainfrom
ci-docs-pr-gate

Conversation

@ajbarea

@ajbarea ajbarea commented Sep 16, 2026

Copy link
Copy Markdown
Owner

docs.yml ran only on push to main, so a dependency bump could pass every required check and break the Pages deploy after merging.

zensical 0.0.60 removed the search engine option and aborts the build with exit 1 regardless of --strict. This repo does not set that option, so what lands here is the missing gate, not a symptom. Two sister repos did set it and were fixed separately.

The PR build reuses this workflow rather than duplicating the build command elsewhere, so it cannot drift from what actually deploys. Configure Pages and Upload Artifact are push-only; deploy was already guarded on the branch ref.

The pull_request trigger is unfiltered deliberately. Once this job is a required check, a paths filter would leave every unrelated PR waiting on a status that never arrives.

docs.yml only ran on push to main, so a dependency bump could pass every
required check and then break the deploy after merging. zensical 0.0.60 is
exactly that case: it removed the search `engine` option, and the build
aborts with exit 1 whether or not --strict is passed. This repo does not
set that option, so it is the gap rather than the symptom being fixed here.

The PR build reuses this workflow instead of duplicating the command, so
it cannot drift from what deploys. Configure Pages and Upload Artifact are
push-only; deploy was already guarded on the branch ref.

The pull_request trigger is unfiltered on purpose: once this is a required
check, a paths filter would leave unrelated PRs waiting on a status that
never arrives.
@ajbarea ajbarea added the chore Maintenance with no user-visible change label Sep 16, 2026
@ajbarea ajbarea self-assigned this Sep 16, 2026
@ajbarea
ajbarea merged commit b178054 into main Sep 16, 2026
12 checks passed
@ajbarea
ajbarea deleted the ci-docs-pr-gate branch September 16, 2026 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance with no user-visible change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant