Move run_id, batch_id, run_name, timestamp out of stats object

conbench · Jul 14, 2021 · 7d372d4 · 7d372d4
1 parent acc7cd1
commit 7d372d4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/conbench/runner.py b/conbench/runner.py
@@ -169,8 +169,13 @@ def record(self, result, name, **kwargs):
             result.get("times", []),
             result.get("time_unit", "s"),
         )
+
+        run_id = options.get("run_id")
+        if run_id is None:
+            run_id = self.batch_id
+
         benchmark = {
-            "run_id": options.get("run_id", self.batch_id),
+            "run_id": run_id,
             "batch_id": self.batch_id,
             "timestamp": _now_formatted(),
             "stats": stats,