[isabelle-dev] Nonterminating AFP build

[Makarius]

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