[isabelle-dev] Nonterminating AFP build
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