[isabelle-dev] Testboard timeout

[Jasmin Blanchette]

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:

https://ci.isabelle.systems/jenkins/job/testboard/986/

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

Best,
Jasmin

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