diff --git a/tools/precommit/precommit.py b/tools/precommit/precommit.py index a95212cd52..82cb3b23bb 100755 --- a/tools/precommit/precommit.py +++ b/tools/precommit/precommit.py @@ -116,6 +116,8 @@ def main() -> None: continue if root.startswith("./regtesting"): continue + if root.startswith("./build"): + continue if root.startswith("./.git"): continue if "/.mypy_cache/" in root: