perf: move non-meta compilation out of lean build step#10291
Draft
Kha wants to merge 22 commits intoleanprover:masterfrom
Draft
perf: move non-meta compilation out of `lean` build step#10291Kha wants to merge 22 commits intoleanprover:masterfrom
Kha wants to merge 22 commits intoleanprover:masterfrom
Commits
Commits on Oct 5, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 12, 2025
- committed
Commits on Oct 26, 2025
- committed
- committed
- committed
- committed
Commits on Oct 27, 2025
Commits on Oct 30, 2025
Commits on Nov 1, 2025
- committed