max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/elab_bench/grind_bitvec2.lean.no_test
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

0 lines
Text
Raw Permalink Blame History