From 3ffe3eea4f133c9d48c93c132643567fb2179ff3 Mon Sep 17 00:00:00 2001 From: Alex Gregory Date: Sat, 8 Nov 2025 12:09:24 +0000 Subject: [PATCH] Move datetimes into header row --- scripts/ty_benchmark/src/benchmark/error_count.py | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/scripts/ty_benchmark/src/benchmark/error_count.py b/scripts/ty_benchmark/src/benchmark/error_count.py index fc0de36104..609a53a391 100644 --- a/scripts/ty_benchmark/src/benchmark/error_count.py +++ b/scripts/ty_benchmark/src/benchmark/error_count.py @@ -88,14 +88,11 @@ class ErrorCountSummary: ], widths, ) - self._print_line(widths) old_datetime = old.date_time.strftime("%Y-%m-%d %H:%M:%S") new_datetime = new.date_time.strftime("%Y-%m-%d %H:%M:%S") - datetime_difference = str(new.date_time - old.date_time) - self._print_row( - ["datetime", old_datetime, new_datetime, datetime_difference], widths - ) + self._print_row(["", old_datetime, new_datetime, ""], widths) + self._print_line(widths) all_benchmark_names = list(old.error_counts.keys()) + list( new.error_counts.keys()