global timeout (github is slow)