[isabelle-dev] Testboard and AFP

[Tobias Nipkow]

On 10/05/2024 09:35, Fabian Huch wrote:
> The Jenkins regularly chokes (likely due to bad programming and unmaintained 
> plugins). The high system load also has the effect that the isa-afp page can get 
> slow sometimes.

Very slow to the point of being unreachable. In the past the sysadmins explained 
this by a dos-like overload from robots(?) and tried to fix it. Are you now 
saying that jenkins creates this overload?

Tobias

> We'll replace it soon: A prototype of the new build system is available at
> 
> https://build.proof.cit.tum.de
> 
> 
> Fabian
> 
> On 5/8/24 12:23, Lawrence Paulson wrote:
>> What is happening at Munich? These websites are either unreachable or 
>> extremely sluggish.
>>
>> Larry
>>
>> _______________________________________________
>> 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/20240510/97afe1ac/attachment.bin>