Skip to content

perf: avoid unnecessary RC traffic in interpreter#13533

Closed
Kha wants to merge 1 commit into
leanprover:masterfrom
Kha:push-mrznkkotwlrs
Closed

perf: avoid unnecessary RC traffic in interpreter#13533
Kha wants to merge 1 commit into
leanprover:masterfrom
Kha:push-mrznkkotwlrs

perf: avoid unnecessary RC traffic in interpreter

f402737
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Apr 27, 2026 in 5s