Started 3 yr 9 mo ago
Took 2 hr 20 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0134a7d6ad56ca90c799ef09c78500d58df3747f | |
Revision: cd5cce401ff6714b2b691c7871d010e4ccca09ee | |
Failed entries: |