Skip to content

[Merged by Bors] - perf(Translate): use cache in guessReorder#41516

Closed
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-translate-guessReorder-perf
Closed

[Merged by Bors] - perf(Translate): use cache in guessReorder#41516
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-translate-guessReorder-perf

perf(Translate): improve performance of `guessReorder

97dd87c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view