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

[Fabian Huch]

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