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

Martin Desharnais martin.desharnais at posteo.de
Wed Feb 2 14:33:49 CET 2022

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.


[1]: https://ci.isabelle.systems/jenkins/job/testboard/

More information about the isabelle-dev mailing list