From f3901f63c685ea015a51ff90b61c1cf88bfbb70a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Mon, 12 Aug 2024 15:55:48 +0200 Subject: [PATCH] Precommit: Exclude common cmake build dir --- tools/precommit/precommit.py | 2 ++ 1 file changed, 2 insertions(+) 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: