Started 4 yr 3 mo ago
Took 1 hr 18 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 5385de42f9f4e364549a406cef25957cb2188085 | |
Revision: dc7cc57f115758a6681b9a03ca9c851cec9d94a7 | |
Failed entries:
|