Fix the docs typecheck script, and gate the docs site on PRs - #141

Merged

xinaesthete merged 3 commits into

mainfrom

claude/strange-zhukovsky-fa1aec

Aug 11, 2026

Commits on Aug 11, 2026

Fix the docs typecheck script so it actually runs

xinaesthete
and
claude
committed
fb35fed
Gate PRs on the docs typecheck

xinaesthete
and
claude
committed
82c1b55
Build the docs site on PRs too, and widen the job to `docs`

xinaesthete
and
claude
committed
d95d8b4