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

2015-10-06 Thread Makarius
What is the situation with mira reports? The website shows a default Mercurial view, without any test results. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de

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

2015-10-06 Thread Lars Hupel
> 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