We don't seem to be getting non-deterministic hangs since4f3b59f, ande28b402cut the run times significantly on top of that. Runs now seem to take around 1-2 hours, so the default timeout should be plenty.
We don't seem to be getting non-deterministic hangs since4f3b59f, ande28b402cut the run times significantly on top of that. Runs now seem to take around 1-2 hours, so the default timeout should be plenty.