[isabelle-dev] Mira outage
krauss at in.tum.de
Sun Aug 7 14:53:47 CEST 2011
The mira framework, which serves our continuous builds, is currently
down, since I messed something up while updating the data representation
in the database. You can still browse the reports as usual, but no new
tests are being run at the moment.
I hope that I can get this fixed tomorrow. Of course, the repository
itself is not affected by this.
More information about the isabelle-dev