Skip to content

Brand the status page, and gate main behind a PR check - #1

Merged
mrmcpowned merged 3 commits into
mainfrom
brand-and-pr-gate
Oct 27, 2026
Merged

mrmcpowned merged 3 commits into
mainfrom
brand-and-pr-gate

docs: record what the PR gate costs

fae28df
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
validate
succeeded Oct 27, 2026 in 10s