Fabian Boehm 0ede48e024 benchmarks: Do hyperfine first ... Helps with warmup		2022-09-25 13:27:01 +02:00
..
benchmarks	benchmarks: Use --no-config	2022-09-24 13:36:24 +02:00
driver.sh	benchmarks: Do hyperfine first	2022-09-25 13:27:01 +02:00