[isabelle-dev] testboard

[Lawrence Paulson]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20230712/202d1350/attachment.htm>