Patrick Ohly 29e5771aa4 scheduler-perf: shorten "Name" label in metrics ...

Because the JSON file gets written at the end of the top-level benchmark, all
data items had `BenchmarkPerfScheduling/` as prefix in the `Name` label. This
is redundant and makes it harder to see the actual name. Now that common prefix
gets removed.

2023-07-03 21:15:16 +02:00

50 KiB

Raw Blame History

View Raw