Stream: Mirror: Isabelle Development Mailing List

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


view this post on Zulip 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

view this post on Zulip 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: Mar 04 2024 at 12:30 UTC