Skip to content
tests

Cut the docs agents read, split the CLI reference, and give them line budgets #2079

Sign in to view logs

Cut the docs agents read, split the CLI reference, and give them line budgets

Cut the docs agents read, split the CLI reference, and give them line budgets #2079

Annotations

1 notice

real Lean (fixture toolchain)

real Lean (fixture toolchain)
succeeded Oct 23, 2026 in 7m 53s