Merge pull request #122 from feizheng10/fix_decimal

CLI: fix decimal doesn't work for single run
This commit is contained in:
Cole Ramos
2023-05-03 11:20:31 -05:00
committato da GitHub
+5
Vedi File
@@ -143,6 +143,11 @@ def show_all(runs, archConfigs, output, decimal, time_unit, selected_cols, verbo
df = pd.concat([df, t_df], axis=1)
else:
cur_df[header] = [
round(float(x), decimal) if x != "" else x
for x in base_df[header]
]
df = pd.concat([df, cur_df[header]], axis=1)
if not df.empty: