[isabelle-dev] »Waiting for 1 tasks to complete«

[Fabian Huch]

This is now solved in Isabelle/a1b3abc629af.

Note that waiting for other tasks to be completed is a regular 
occurrence, but there is always a hard timeout (default 8h as per 
build_manager_timeout option).


Fabian

On 8/27/24 12:19, Fabian Huch wrote:
> This indeed looks like a infrastructure problem, caused by a task that 
> refused to terminate normally -- I'll have to investigate.
>
> In the meantime, please re-submit your build.
>
>
> Fabian
>
> On 8/27/24 11:51, Florian Haftmann wrote:
>> Hi,
>>
>> I experience a behavior of the build system which I did not encounter 
>> before:
>>
>> https://build.proof.cit.tum.de/build?id=31902f37-a3f8-407a-aa76-bd2ffe50ca98 
>>
>>
>> Is this a sign of a deeper infrastructure problem or do I just have 
>> to wait?
>>
>> Thanks in advance,
>>     Florian
>>
>> _______________________________________________
>> 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