for our definitely not small application, the linters timeout. Mostly still showing "running linter" <img width="247" alt="Bildschirmfoto 2019-12-19 um 07 56 05" src="https://user-images.githubusercontent.com/540890/71151842-0c1c1700-2235-11ea-83e8-bbe8fc247682.png"> Sometimes I also saw a "timeout after 200s" message. Or is the linter stuck here? (without logs difficult to debug) it happens not only with one, but more linters <img width="338" alt="Bildschirmfoto 2019-12-19 um 07 58 14" src="https://user-images.githubusercontent.com/540890/71151939-57362a00-2235-11ea-9286-5c9d0dc873c0.png">