Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Testboard timeout

view this post on Zulip 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

smime.p7s

view this post on Zulip 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

view this post on Zulip 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

smime.p7s

Last updated: Feb 01 2025 at 20:19 UTC