From ecf9f12b4120727b9d344ab127e96772dc8e8161 Mon Sep 17 00:00:00 2001
From: Proton <feisuzhu@163.com>
Date: Wed, 29 Mar 2023 15:03:26 +0800
Subject: [PATCH] meh

---
 .github/workflows/scripts/post-benchmark-to-github-pr.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/scripts/post-benchmark-to-github-pr.py b/.github/workflows/scripts/post-benchmark-to-github-pr.py
index eaa5ba391..93abfb5b6 100755
--- a/.github/workflows/scripts/post-benchmark-to-github-pr.py
+++ b/.github/workflows/scripts/post-benchmark-to-github-pr.py
@@ -47,6 +47,13 @@ def flatten_metric(m):
     return (f'{m["name"]}@{tags}', m['value'])
 
 
+def fmt(v):
+    if 0 < abs(v) < 1:
+        return f'{v:.3g}'
+    else:
+        return f'{v:.3f}'
+
+
 def render_result(baseline, sha, rs):
     texts = []
     _ = texts.append
@@ -66,7 +73,7 @@ def render_result(baseline, sha, rs):
 
         rate = f'{" +"[rate > 0]}{rate:.2f}'
 
-        _(fr'| {name} | {rv:.2f} | {cv:.2f} | $\textcolor{{{color}}}{{\textsf{{{rate}\\%}}}}$ |'
+        _(fr'| {name} | {fmt(rv)} | {fmt(cv)} | $\textcolor{{{color}}}{{\textsf{{{rate}\\%}}}}$ |'
           )
 
     return '\n'.join(texts)