Repository navigation

Shorten the slowest CI legs: website build, format check, rewatch polling - #9302

Merged

cknitt merged 3 commits into

ci-faster-pr-legs

Nov 14, 2026

Merged

Shorten the slowest CI legs: website build, format check, rewatch polling#9302
cknitt merged 3 commits into
masterfrom
ci-faster-pr-legs

Commits on Nov 14, 2026
- Build the website in CI only for API docs it hasn't built yet
  
  cknitt
  and
  claude
  committed
  adc28e5
- Check formatting only on Linux in CI
  
  cknitt
  and
  claude
  committed
  adc3052
- Poll every 0.1 s in the build system's canonical tests
  
  cknitt
  and
  claude
  committed
  4f18f1e