log benchmark/benchmark_utils.jl @ 1306:c14370f7c731 tooling/benchmarks

age author description
Wed, 26 Apr 2023 13:09:55 +0200 Jonatan Werpers Add note about how to hande command exit tooling/benchmarks
Wed, 26 Apr 2023 13:08:48 +0200 Jonatan Werpers Improve docs for run_benchmark(rev) tooling/benchmarks