[isabelle-dev] Testboard timeout

[Fabian Huch]

Trying twice works as the heap images generated in the first run can be 
re-used.

Also I have bumped the time-out to 400 minutes, but such a waiting time 
is ridiculous -- we are working hard on a distributed build system, 
which will bring down build times to a tolerable level again.


Fabian


On 3/5/24 15:54, Jasmin Blanchette wrote:
> Dear all,
>
> I prepared a change to Isabelle's Multiset library, built locally all 
> of the distribution successfully, and then turned to Testboard to test 
> the AFP. Unfortunately, I get a timeout and no other useful information:
>
> https://ci.isabelle.systems/jenkins/job/testboard/986/
>
> (I tried twice even.) What's the best way to proceed? Build the whole 
> AFP locally? Any hints are welcome.
>
> Best,
> Jasmin
>
> --
> Prof. Dr. Jasmin Blanchette
> Chair of Theoretical Computer Science and Theorem Proving
> Ludwig-Maximilians-Universität München
> Oettingenstr. 67, 80538 München, Germany
> Tel.: +49 (0)89 2180 9337
> Email: jasmin.blanchette at ifi.lmu.de
> Web: https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html
>
>
>
> _______________________________________________
> 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/20240305/01c0c5ae/attachment.htm>