Repository navigation

Speed up exposition extraction and preserve completed work - #619

Merged

Vilin97 merged 2 commits into

mainfrom

codex/exposition-ci-performance

Oct 9, 2026

Merged

Speed up exposition extraction and preserve completed work#619
Vilin97 merged 2 commits into
mainfrom
codex/exposition-ci-performance

Commits on Oct 8, 2026
- Speed up exposition traversal and retain completed extraction work
  Vilin97
  committed
  2c9833a
- Fix exposition failure diagnostics and enforce the pinned Lean regression
  Vilin97
  committed
  87d8528