[isabelle-dev] testboard stuck?

Lawrence Paulson lp15 at cam.ac.uk
Sat Aug 1 11:15:54 CEST 2020

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?


> 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?

More information about the isabelle-dev mailing list