Skip to content

Let docs publish run while the checks are disabled - #8029

Merged
ZJvandeWeg merged 1 commit into
mainfrom
docs-publish-independent-of-checks
Aug 3, 2026
Merged

Let docs publish run while the checks are disabled#8029
ZJvandeWeg merged 1 commit into
mainfrom
docs-publish-independent-of-checks

Conversation

@dimitrieh

@dimitrieh dimitrieh commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Merging a docs/** change used to trigger a website rebuild. It stopped, because publish waits on the two doc checks, those checks are switched off, and GitHub skips any job that waits on a skipped one. Docs now only reach the site when the website rebuilds for its own reasons.

Dropping the wait restores the trigger.

Only observable after merging: publish runs on pushes to main, never on a PR.

Re-enabling the checks is separate work in #8024, which should put the wait back.

A skipped job skips whatever needs it, so disabling test and test-with-website
also stopped publish, and merging a docs change no longer triggered a website
rebuild. Docs have been reaching production only on the website's own build
schedule since.

Dropping the needs restores the trigger. It goes back when the two checks do.
@ZJvandeWeg
ZJvandeWeg merged commit 210b359 into main Aug 3, 2026
28 checks passed
@ZJvandeWeg
ZJvandeWeg deleted the docs-publish-independent-of-checks branch August 3, 2026 17:35
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.

2 participants