log benchmark/benchmark_utils.jl @ 1307:27afd53511d4 tooling/benchmarks

age author description
Wed, 26 Apr 2023 13:23:37 +0200 Jonatan Werpers Add flag to make commit secret in hg_commit() tooling/benchmarks
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