<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Trying twice works as the heap images generated in the first run
can be re-used.</p>
<p>Also I have bumped the time-out to 400 minutes, but such a
waiting time is ridiculous -- we are working hard on a distributed
build system, which will bring down build times to a tolerable
level again.</p>
<p><br>
</p>
<p>Fabian</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 3/5/24 15:54, Jasmin Blanchette
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:EAB9B64A-5457-4A2B-B798-6777CB4232DE@ifi.lmu.de">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
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/"
moz-do-not-send="true" class="moz-txt-link-freetext">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: <a class="moz-txt-link-abbreviated" href="mailto:jasmin.blanchette@ifi.lmu.de">jasmin.blanchette@ifi.lmu.de</a><br>
Web:
<a class="moz-txt-link-freetext" href="https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html">https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html</a><br>
<br>
</div>
</div>
</div>
</div>
<br>
</div>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev">https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
</body>
</html>