[isabelle-dev] testboard

Lawrence Paulson lp15 at cam.ac.uk
Wed Jul 12 11:09:10 CEST 2023

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.

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

More information about the isabelle-dev mailing list