[isabelle-dev] testboard stuck?

[Lawrence Paulson]

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?

Larry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200731/54bf0529/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot 2020-07-31 at 15.56.34.png
Type: image/png
Size: 112857 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200731/54bf0529/attachment-0001.png>