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
Thu, 23 Mar 2023 08:55:31 +0100 Jonatan Werpers Add functions for hg commit and checking if the repo is clean tooling/benchmarks
Thu, 23 Mar 2023 08:40:58 +0100 Jonatan Werpers Add some notes tooling/benchmarks