Commit 2025-03-10 18:46 3cf7e251

View on Github →

chore: replace some continuity by fun_prop (#22750) This is a bit faster: some of the modified files speed up by 10%.

Estimated changes