This repository has no description
🐛 Fix timings report csv header when comparing
author
Gwenn Le Bihan
date
(Apr 7, 2025, 3:17 PM +0200)
commit
1b34fc32
1b34fc322995e72a682efe0475863a7de5f60ff3
parent
d2fc8039
d2fc8039f0550fb4f1a5406315bc7e84ffd9b7c4
+2
-1
+2
-1
script/debug-performance.py
+2
-1
script/debug-performance.py
···
22
22
def avg(numbers: list[float]):
23
23
return sum(numbers) / len(numbers)
24
24
25
+
25
26
end = 0
26
27
start = 0
27
28
···
147
148
Path("results.csv").write_text(
148
149
to_csv(
149
150
[
150
-
["Tâche", "Durée [ms]", "#"],
151
+
header,
151
152
*[
152
153
[task, *things]
153
154
for task, *things in formatted_results