Files
Daniel McCarney 25bc1b3ecd chore: delete admin/format-bench.
The `admin/format-bench` script has bitrot so that it no longer
functions with the current output produced by the benchmark tooling.

It's not clear that this tool is still needed, so rather than fix it or
port it to Rust, we choose to remove it outright.

If it turns out there is a need for formatting benchmarking output we
should consider building that into the benchmark tool itself to avoid
needing to deal with a Python tool-chain and associated versioning
challenges.
2023-03-03 22:08:14 +01:00
..
2018-06-03 12:37:32 +01:00