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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
