From 5556380b94c91f446b201ffb76cff0a9d838ecd4 Mon Sep 17 00:00:00 2001 From: Marcus Holland-Moritz Date: Fri, 18 Apr 2025 09:31:11 +0200 Subject: [PATCH] chore: tag non-release versions with commit hash --- .benchmark/query.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/.benchmark/query.py b/.benchmark/query.py index c6ce831f..6e425de8 100755 --- a/.benchmark/query.py +++ b/.benchmark/query.py @@ -85,8 +85,13 @@ def query_and_bar_chart(db_path, arch, version, binary_type): # rows.sort(key=lambda r: (r.get("name"), r.get("config"))) # df = pd.DataFrame(rows, columns=["name", "config", "mean", "stddev"]) # rows.sort(key=lambda r: (r.get("name"), r.get("commit_time"))) - df = pd.DataFrame(rows, columns=["name", "version", "mean", "stddev"]) - df["version_object"] = df["version"].apply(Version) + df = pd.DataFrame(rows, columns=["name", "version", "commit", "mean", "stddev"]) + for row in df.itertuples(): + version = row.version + if row.commit: + version += f"+{row.commit}" + df.at[row.Index, "version_object"] = Version(version) + #df["version_object"] = df["version"].apply(Version) # Pivot the DataFrame so that "name" becomes the row index and different "config" # values become separate columns for the "mean" and "stddev" values.