Skip to content

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
Merged

Fix the docs typecheck script, and gate the docs site on PRs#141
xinaesthete merged 3 commits into
mainfrom
claude/strange-zhukovsky-fa1aec

Build the docs site on PRs too, and widen the job to `docs`

d95d8b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
docs
succeeded Aug 11, 2026 in 57s