Skip expensive repr() in logging call when not needed (#16350)

We were spending quite a lot of time in this function when running tests, based on profiling.
python · Oct 28, 2023 · 6c7faf3 · 6c7faf3
1 parent 93d4cb0
commit 6c7faf3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/mypy/build.py b/mypy/build.py
@@ -255,7 +255,8 @@ def _build(
         stdout=stdout,
         stderr=stderr,
     )
-    manager.trace(repr(options))
+    if manager.verbosity() >= 2:
+        manager.trace(repr(options))
 
     reset_global_state()
     try: