[isabelle-dev] Nonterminating AFP build

[Lars Hupel]

Isabelle/8326aa594273
AFP/ffea2c11f257

We appear to have an issue with nonterminating builds. See here:
<https://ci.isabelle.systems/jenkins/job/afp-repo-afp/189/consoleFull>.
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.

Cheers
Lars