[isabelle-dev] Nonterminating AFP build

Lars Hupel hupel at in.tum.de
Wed May 11 22:58:31 CEST 2016


We appear to have an issue with nonterminating builds. See here:
I had to manually kill the running poly process. I'm not quite sure
which session causes it, but it's possibly Randomised_Social_Choice. I
was under the assumption that all AFP sessions had timeouts set –
apparently this is not the case.

In order to avoid these problems in the future, I'll implement job
timeouts in Jenkins.


More information about the isabelle-dev mailing list