[isabelle-dev] testboard

Fabian Huch 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.
> Larry
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20230712/88815c07/attachment.htm>

More information about the isabelle-dev mailing list