From e8ed58778331d26bab220d20177748587f8d3d3e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Sun, 30 Aug 2020 17:35:05 +0200 Subject: [PATCH] precommit: Increase timeout for fprettify --- tools/precommit/precommit.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/precommit/precommit.py b/tools/precommit/precommit.py index 62f52474a5..d57a994f12 100755 --- a/tools/precommit/precommit.py +++ b/tools/precommit/precommit.py @@ -220,7 +220,7 @@ def run_prettify(fn): # The prettify tool processes only about 1k lines of code per second. # Hence, setting a generous timeout as our largest file has 100k lines. - run_local_tool("./tools/prettify/prettify.py", fn, timeout=300) + run_local_tool("./tools/prettify/prettify.py", fn, timeout=600) # ======================================================================================