Fix wrong attribute used

womboai · Dec 4, 2024 · 25f1f7e · 25f1f7e
1 parent 3bf6706
commit 25f1f7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/testing/benchmarker.py b/base/testing/benchmarker.py
@@ -116,7 +116,7 @@ def benchmark_submissions(self, contest: Contest, submissions: dict[Key, Reposit
             start_time = perf_counter()
             key = choice(self._get_untested_submissions(submissions))
             submission = submissions[key]
-            logger.info(f"Benchmarking submission '{submission.repository_info}' with revision '{submission.revision}'")
+            logger.info(f"Benchmarking submission '{submission.url}' with revision '{submission.revision}'")
             try:
                 benchmark_output = self._benchmark_submission(contest, inputs, submission)
                 benchmark = self.compare(contest, benchmark_output, self._stop_flag)