[isabelle-dev] testboard stuck?

[Lawrence Paulson]

Run #347 (with one slightly modified lemma) also aborted, in a different place:

> 21:50:01 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Weakening
> 21:52:04 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Class2
> 21:52:06 HOL-Nominal-Examples: theory HOL-Nominal-Examples.Class3
> 23:42:11 Build timed out (after 180 minutes). Marking the build as aborted.
> 23:42:11 Build was aborted

What could be going on?

Larry

> On 31 Jul 2020, at 16:26, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 
> I had a run going (the change involved adding a single lemma and shouldn’t have affected anything) but it got stuck as shown in the screenshot and was aborted after three hours. Any idea what could have gone wrong here?