On 11/05/16 22:58, Lars Hupel wrote: > In order to avoid these problems in the future, I'll implement job > timeouts in Jenkins.
The isatest setup has a global timeout here: http://isabelle.in.tum.de/repos/isabelle/file/5a5beb3dbe7e/Admin/isatest/isatest-makeall#l95 It is also possible to use a global timeout_scale to readjust the timeouts within individual ROOT files for slower or faster hardware. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
