Email Gateway (Feb 02 2022 at 13:34): Email Gateway (Feb 02 2022 at 13:34):From: Martin Desharnais <martin.desharnais@posteo.de>
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 mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 02 2022 at 14:23):From: Fabian Huch <huch@in.tum.de>
Thanks for letting us know. The Jenkins master node crashed, but is now
back online.
Fabian
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Jul 15 2022 at 23:21 UTC