Email Gateway (Mar 05 2024 at 14:55): Email Gateway (Mar 05 2024 at 14:55):From: Jasmin Blanchette <jasmin.blanchette@ifi.lmu.de>
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
Email Gateway (Mar 05 2024 at 16:14):From: Fabian Huch <huch@in.tum.de>
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
Email Gateway (Mar 05 2024 at 16:20):From: Tobias Nipkow <nipkow@in.tum.de>
Jasmin: Even if the process aborted, it did so in the middle of the Presenting
trace, which tells you that nothing serious went wrong.
Tobias
Last updated: Apr 27 2024 at 16:16 UTC