log

age author description
Fri, 27 Jan 2023 11:19:58 +0100 Jonatan Werpers Add function for getting the hg rev id tooling/benchmarks
Wed, 25 Jan 2023 14:00:16 +0100 Jonatan Werpers Use benchmark time field instead of now() tooling/benchmarks
Wed, 25 Jan 2023 13:55:37 +0100 Jonatan Werpers Make run_benchmark include hg info tooling/benchmarks