From fc91f74b85462fe688f232a127b87829e25cdeea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Tue, 17 Feb 2026 10:32:36 +0100 Subject: [PATCH] precommit: Increase timeout for shellcheck --- tools/precommit/precommit_server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/precommit/precommit_server.py b/tools/precommit/precommit_server.py index 551f1bdc34..9f37116c6f 100644 --- a/tools/precommit/precommit_server.py +++ b/tools/precommit/precommit_server.py @@ -45,7 +45,7 @@ def shfmt(): # ====================================================================================== @app.route("/shellcheck", methods=["POST"]) def shellcheck(): - return run_tool(["shellcheck"]) + return run_tool(["shellcheck"], timeout=10) # ======================================================================================