[isabelle-dev] Mira outage

[Alexander Krauss]

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.

Alex