Merge pull request #2034 from igchor/benchmark_tweaks

[Benchmarks] minor tweaks

scripts/benchmarks/benches/compute.py

@@ -82,7 +82,7 @@ def run(self, env_vars) -> Result:
 
         result = self.run_bench(command, env_vars)
         (label, mean) = self.parse_output(result)
-        return Result(label=label, value=mean, command=command, env=env_vars, stdout=result)
+        return Result(label=label, value=mean, command=command, env=env_vars, stdout=result, lower_is_better=self.lower_is_better())
 
     def parse_output(self, output):
         csv_file = io.StringIO(output)

scripts/benchmarks/benches/velocity.py

@@ -61,7 +61,7 @@ def run(self, env_vars) -> Result:
 
         result = self.run_bench(command, env_vars)
 
-        return Result(label=self.bench_name, value=self.parse_output(result), command=command, env=env_vars, stdout=result)
+        return Result(label=self.bench_name, value=self.parse_output(result), command=command, env=env_vars, stdout=result, lower_is_better=self.lower_is_better())
 
     def teardown(self):
         return

scripts/benchmarks/output.py

@@ -116,7 +116,7 @@ def generate_summary_table(chart_data: dict[str, list[Result]]):
             if key in results:
                 value = results[key].value
                 if key == best_key:
-                    row += f" `**{value}**` |"  # Highlight the best value
+                    row += f" <ins>{value}</ins> |"  # Highlight the best value
                 else:
                     row += f" {value} |"
             else:
@@ -132,6 +132,7 @@ def generate_markdown(chart_data: dict[str, list[Result]]):
 
     return f"""
 # Summary
+<ins>result</ins> is better\n
 {summary_table}
 # Charts
 {mermaid_script}