Increase lint timeout

We occasionally see the lint job fail due to this timeout. Likely when the node running lint is under heavy load, because normally it runs much faster.

This commit increases the timeout substantially to work around that problem.
pull/8017/head
Daniel Nephin 5 years ago
parent 99eb583ebc
commit 5c2a1574aa

@ -30,4 +30,4 @@ linters-settings:
simplify: false
run:
timeout: 5m
timeout: 10m

Loading…
Cancel
Save