On 5/10/24 17:44, Tobias Nipkow wrote:
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
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
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.
We'll replace it soon: A prototype of the new build system is available at
https://build.proof.cit.tum.de
Fabian
On
