Skip to content

perf(EthCommit): share the decoder's current-path set between levels - #417

Open
alexanderlhicks wants to merge 1 commit into
mainfrom
perf/decoder-onpath
Open

alexanderlhicks wants to merge 1 commit into
mainfrom
perf/decoder-onpath

perf(EthCommit): share the decoder's current-path set between levels

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

Annotations

1 warning and 1 notice
Core package (Mathlib-free)
succeeded Nov 13, 2026 in 15m 26s