Skip to content

WIP: properly clear cache progress output when it wraps around#41509

Open
grunweg wants to merge 1 commit into
leanprover-community:masterfrom
grunweg:cache-terminal
Open

WIP: properly clear cache progress output when it wraps around#41509
grunweg wants to merge 1 commit into
leanprover-community:masterfrom
grunweg:cache-terminal

Commits

Commits on Jul 8, 2026