precommit: Increase timeout for fprettify

This commit is contained in:
Ole Schütt 2020-08-30 17:35:05 +02:00 committed by Ole Schütt
parent a9e0f95442
commit e8ed587783

View file

@ -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)
# ======================================================================================