Skip to content

perf: restore .lake before configuration and mk_all - #199

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschles/restore-cache-earlier
Open

perf: restore .lake before configuration and mk_all#199
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samschles/restore-cache-earlier

perf: restore .lake before configuration and mk_all

33e6b58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
auto-config-false-legacy-leanchecker
succeeded Oct 12, 2026 in 27s