> 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. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev