Started 3 yr 6 mo ago
Took 2 hr 35 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 662f286492b1990d154c0055a091f9f3f3ec9b95 | |
Revision: 7b26d4cc3c170b7abb8d553a4196a11e495f3847 | |
Failed entries: |