[isabelle-dev] Nonterminating AFP build

Makarius makarius at sketis.net
Thu May 12 09:26:26 CEST 2016

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:

It is also possible to use a global timeout_scale to readjust the
timeouts within individual ROOT files for slower or faster hardware.


More information about the isabelle-dev mailing list