[isabelle-dev] Testboard timeout

[Tobias Nipkow]

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

On 05/03/2024 17:13, Fabian Huch wrote:
> 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
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4950 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240305/5590c66f/attachment-0001.bin>