HTF speed up - #128

Merged

ijpulidos merged 1 commit into

mainfrom

Oct 17, 2025

Codecov / codecov/patch succeeded Oct 14, 2025 in 1s

100.00% of diff hit (target 86.86%)

View this Pull Request on Codecov

100.00% of diff hit (target 86.86%)

View more details on Codecov