Started 4 yr 2 mo ago
Took 1 hr 19 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 910a081cca741bb1463105da78e5f18e3235d75d | |
Revision: 89ba7ebaf43f45cf23242b6f2a21990ee5caf2b0 | |
Failed entries:
|