[isabelle-dev] testboard stuck?

[Lawrence Paulson]

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?

Larry

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