[isabelle-dev] Mira still alive?
noschinl at in.tum.de
Wed Apr 8 14:00:45 CEST 2015
On 02.04.2015 00:31, Makarius wrote:
> On http://isabelle.in.tum.de/reports/Isabelle there is very little to
> see. This is occasionally important to investigate timing problems, or
> to see how Isabelle vs. AFP works out.
The testbench suites were running, but none of the other tests. One
instance was even hanging since a last september.
As I usually don't need these services, I only notice hiccups when
somebody tells me about it. Unfortunately, mira is not very reliable.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev