Started 3 yr 1 mo ago
Took 8 min 53 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7202e12cb3241b387eaa3ef55033cdd45cfb9a6d | |
Revision: e93051f65b1aa9a15de2dca54282360231c7db28 | |
Failed entries: |