[isabelle-dev] Mira outage

Alexander Krauss krauss at in.tum.de
Sun Aug 7 14:53:47 CEST 2011

Hi all,

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 mailing list