[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP

[Manuel Eberl]

It seems that my latest commit f443ec10447d causes nontermination of the
AFP entry "Green".

I saw this timeout on the testboard, but everything worked fine locally
despite trying several times, so I thought it was perhaps some spurious
issue and pushed the commit anyway.

Unfortunately, "Green" seems to time out on Jenkins every time now.
Seeing as a while ago, we had spurious timeout issues that went away
when we increased the timeout, I tried doubling the timeout on the
Testboard (to 20 minutes!) and that did not help either.

For comparison, on my modest machine, the entry needs a very reasonable
2 minutes (both CPU and wall clock) when run with 1 thread, so >20
minutes seems quite absurd.

I looked at the entry in Isabelle/jEdit and found some invocations of
blast/force that took up to 8 seconds, but that should not be a problem.

Does anyone have any idea what is going on here or how I could track
down this issue?

Manuel


-------- Forwarded Message --------
Subject: [Isabelle-ci] Build failure in AFP
Date: Thu, 30 Aug 2018 22:53:44 +0200 (CEST)
From: Isabelle/Jenkins <ci at isabelle.systems>
To: isabelle-ci at mail46.informatik.tu-muenchen.de

The AFP build failed. See the log at:
https://ci.isabelle.systems/jenkins/job/isabelle-all/288/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: build.log
Type: application/octet-stream
Size: 729194 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20180831/3a1db233/attachment-0001.obj>
-------------- next part --------------
_______________________________________________
Isabelle-ci mailing list
Isabelle-ci at mail46.informatik.tu-muenchen.de
https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci