From bac04a2a3dd7683566a9aebbb0ae45a410d71792 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Thu, 15 Aug 2024 06:10:46 -0700 Subject: [PATCH] no lint --- benchmark/benchmark.py | 1 + 1 file changed, 1 insertion(+) diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py index 61f9bf1c4..6b34813ff 100755 --- a/benchmark/benchmark.py +++ b/benchmark/benchmark.py @@ -565,6 +565,7 @@ def run_test_real( use_git=False, stream=False, verbose=verbose, + auto_lint=False, ) coder.max_apply_update_errors = max_apply_update_errors