Skip to content

fix: lake: skip artifacts already present when staging or unstaging#14002

Closed
marcelolynch wants to merge 1 commit into
leanprover:masterfrom
marcelolynch:lake-cache-skip-existing-artifacts
Closed

fix: lake: skip artifacts already present when staging or unstaging#14002
marcelolynch wants to merge 1 commit into
leanprover:masterfrom
marcelolynch:lake-cache-skip-existing-artifacts

fix: skip artifacts already present when staging or unstaging

6f6b2ce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Jun 11, 2026 in 3s