<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Builds depend very much on the implicit state of their
predecessor - sessions that were previously built and are still
consistent with the current sources are skipped.<br>
</p>
<p>If you go a few builds back, the output is 42,927 lines.</p>
<p><br>
</p>
<p>Fabian</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 7/12/23 11:09, Lawrence Paulson
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:494e907d-d033-4a5a-b13d-9967d49b1a68@Spark">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title></title>
<div name="messageBodySection">
<div dir="auto">I was testing some last-minute, minor changes.
Testboard run 917 aborted due to a timeout. You’d think that
some of the jobs had timed out, but when I checked the log, it
looked like an entirely different process had been run. In
particular, the log file is more than double the length of its
predecessors:<br>
<br>
job 615: 10,793 lines<br>
job 616: 10,775 lines<br>
job 917: 22,841 lines<br>
<br>
What gives? I’d like to get this test done.</div>
</div>
<div name="messageSignatureSection"><br>
<div class="matchFont">
<div dir="auto">Larry</div>
</div>
</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>