issue !4#18256: lake update gets stuck if I add mathlib a...

Stream: triage

[Random Issue Bot]

Today I chose issue #18256 for discussion!

lake update gets stuck if I add mathlib as dependency
Created by @Lattice 0 (@lattice0) on 2024-10-26
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?