Repository navigation

Cache exposition extraction and reuse Lean CI builds for docs - #450

Merged

Vilin97 merged 12 commits into

mainfrom

codex/ci-docs-performance

Sep 18, 2026

Merged

Cache exposition extraction and reuse Lean CI builds for docs#450
Vilin97 merged 12 commits into
mainfrom
codex/ci-docs-performance

Commits on Sep 17, 2026
- Fix attribution metadata after project removals
  Vilin97
  committed
  00da301
- Cache exposition extraction and share Lean builds with docs
  Vilin97
  committed
  9f4bf5d
- Save stable dependencies only after successful installation
  Vilin97
  committed
  f905ee6
Commits on Sep 18, 2026