[isabelle-dev] Testboard timeout

Jasmin Blanchette jasmin.blanchette at ifi.lmu.de
Tue Mar 5 15:54:51 CET 2024

Dear all,

I prepared a change to Isabelle's Multiset library, built locally all of the distribution successfully, and then turned to Testboard to test the AFP. Unfortunately, I get a timeout and no other useful information:


(I tried twice even.) What's the best way to proceed? Build the whole AFP locally? Any hints are welcome.


Prof. Dr. Jasmin Blanchette
Chair of Theoretical Computer Science and Theorem Proving
Ludwig-Maximilians-Universität München
Oettingenstr. 67, 80538 München, Germany
Tel.: +49 (0)89 2180 9337
Email: jasmin.blanchette at ifi.lmu.de
Web: https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240305/f52aff1d/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4674 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240305/f52aff1d/attachment.bin>

More information about the isabelle-dev mailing list