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

Commits

  1. Commits on Oct 2, 2026