[isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle

Lars Hupel hupel at in.tum.de
Tue Oct 6 21:59:41 CEST 2015

> What is the situation with mira reports?  The website shows a default
> Mercurial view, without any test results.

The situation is that Mira (including testboard) appears to be broken
beyond repair. On Monday, I have
taken over responsibility for our continuous integration builds and am
already in the process of setting up a public Jenkins instance. (This has
already been discussed some 1.5 years ago, but I never had the time to
follow up.) Currently I'm waiting to get assigned a Linux box for that
purpose from our administrators.


More information about the isabelle-dev mailing list