[isabelle-dev] testboard stuck?

Lawrence Paulson lp15 at cam.ac.uk
Tue Aug 4 12:33:02 CEST 2020

I have had the same outcome in three consecutive runs, so I wonder what we should do now: is it possible to push changes that run okay as far as it goes, or do we have a moratorium until we can get it working again?


> On 3 Aug 2020, at 12:33, Makarius <makarius at sketis.net> wrote:
> There might be even changes in timing due to hot temperatures outside.
> But I've seen such spurious "hangs" occasionally, approx. in the past 12
> months. It might be due to subtle changes in how parallel proofs and proof
> terms are managed. I am in the process to investigate it further: luckily
> there is a mostly reproducible situation on a Mac Mini provided by EPFL.

More information about the isabelle-dev mailing list