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.
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.
Regards,
Martin
[1]: https://ci.isabelle.systems/jenkins/job/testboard/
___
isabelle-dev