diff --git a/mypy_self_check.ini b/mypy_self_check.ini index cec47fb85b11..7780edb0cf0c 100644 --- a/mypy_self_check.ini +++ b/mypy_self_check.ini @@ -23,3 +23,4 @@ show_traceback = True # Miscellaneous sqlite_cache = True +num_workers = 4