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. Fabian