chartDataJson function
The github-action-benchmark customSmallerIsBetter input: a JSON array
of {name, unit, value} entries (their custom-tool schema; range/extra
are optional and unused here).
Implementation
String chartDataJson(List<ChartPoint> points) =>
jsonEncode([for (final p in points) p.toJson()]);