Skip to content

perf(ioloader): decode NPY payloads unboxed, and per leading-axis block concurrently - #29

Merged
Robertboy18 merged 2 commits into
lean-dojo:mainfrom
NicolasRouquette:npy-bulk-decode
Oct 23, 2026
Merged

Robertboy18 merged 2 commits into
lean-dojo:mainfrom
NicolasRouquette:npy-bulk-decode

test(ioloader): check signed zeros, infinities and NaNs through every…

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

Annotations

1 warning and 1 notice
Build project
succeeded Oct 19, 2026 in 2h 26m 34s