
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear all,<div><br></div><div>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:</div><div><br></div><div><a href="https://ci.isabelle.systems/jenkins/job/testboard/986/">https://ci.isabelle.systems/jenkins/job/testboard/986/</a></div><div><br></div><div>(I tried twice even.) What's the best way to proceed? Build the whole AFP locally? Any hints are welcome.</div><div><br></div><div>Best,</div><div>Jasmin</div><div><br><div>

<meta charset="UTF-8"><div dir="auto" style="text-align: start; text-indent: 0px; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="text-align: start; text-indent: 0px; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>--<br>Prof. Dr. Jasmin Blanchette<br>Chair of Theoretical Computer Science and Theorem Proving<br>Ludwig-Maximilians-Universität München<br>Oettingenstr. 67, 80538 München, Germany<br>Tel.: +49 (0)89 2180 9337<br>Email: jasmin.blanchette@ifi.lmu.de<br>Web: https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html<br><br></div></div></div>

</div>

<br></div></body></html>