Skip to content

ci(pages): build on pull requests - #3

Merged
tannevaled merged 1 commit into
mainfrom
ci/build-on-pull-requests
Aug 26, 2026
Merged

ci(pages): build on pull requests#3
tannevaled merged 1 commit into
mainfrom
ci/build-on-pull-requests

Conversation

@tannevaled

Copy link
Copy Markdown
Contributor

This workflow ran only on main, so anything opened against this repository arrives with no signal at all — its checks read "no checks", which is not the same thing as green and must not be merged as if it were.

Build on pull_request too. deploy is unchanged except that it now runs only for push or workflow_dispatch: a pull request has built the site, which is the whole point of the gate, and it has no business replacing what is served.

Verified before pushing: hugo --minify builds this tree locally with the version the workflow pins, so the new gate lands green rather than immediately red.

Part of a sweep that measured every repository in the fleet with a green default-branch lane: 1000 gate pull requests, 118 did not.

This workflow ran only on main, so anything opened against this repository
arrives with no signal at all -- its checks read "no checks", which is not
the same thing as green and must not be merged as if it were.

Build on pull_request too. The deploy job is unchanged except that it now
runs only for push or workflow_dispatch: a pull request has built the site,
which is the whole point of the gate, and it has no business replacing what
is served.

Verified before pushing: hugo builds this tree locally with the version the
workflow pins, so the new gate lands green rather than red.
@tannevaled
tannevaled merged commit 62965a4 into main Aug 26, 2026
2 checks passed
@tannevaled
tannevaled deleted the ci/build-on-pull-requests branch August 26, 2026 14:08
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