max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/compile_bench/sigmaIterator.lean.out.expected
Garmelon 492fda3bca
chore: speed up test suite slightly (#12969) 
This PR speeds up some benchmarks when run as tests by lowering their
workload. It also stops testing some of the more expensive benchmarks
that can't be easily made smaller.
2026-03-20 12:24:32 +00:00

1 line
5 B
Text
Raw Permalink Blame History

4950
Reference in a new issue View git blame Copy permalink