Started 4 yr 2 mo ago
Took 1 hr 45 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 35b2d407e558199b2e68fe1bc03d280671d7e237 | |
Revision: 29f2271f945526a0ef495982ac4eae7df5fe7d7e | |
Failed entries: |