From 6b2024a58a3b1741e3759afa37d3a20a1afadb59 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sun, 25 Jun 2023 15:55:27 -0700
Subject: [PATCH] ssh

---
 scripts/benchmark.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/benchmark.py b/scripts/benchmark.py
index 22ece63ca..0578648ba 100644
--- a/scripts/benchmark.py
+++ b/scripts/benchmark.py
@@ -184,7 +184,6 @@ def summarize_results(dirname, all_results, total_tests=None):
             val = results.get(key)
             variants[key].add(val)
 
-    dump(completed_tests)
     if not completed_tests:
         return