[isabelle-dev] Testboard web interface seems to be down

Fabian Huch huch at in.tum.de
Wed Feb 2 15:23:28 CET 2022

On 2/2/22 14:33, Martin Desharnais wrote:
> Dear Isabelle developers,
> I don't know who is responsible, but the web interface to testboard 
> [1] (or other CI projects for that matter) seems to be down.

Thanks for letting us know. The Jenkins master node crashed, but is now 
back online.


More information about the isabelle-dev mailing list