huch at in.tum.de
Wed Jul 12 12:58:34 CEST 2023
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.
If you go a few builds back, the output is 42,927 lines.
On 7/12/23 11:09, Lawrence Paulson wrote:
> 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:
> job 615: 10,793 lines
> job 616: 10,775 lines
> job 917: 22,841 lines
> What gives? I’d like to get this test done.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev