Started 4 yr 5 mo ago
Took 9 min 14 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0aaf16a0f7cce99580c918f7a1988fe1940fe473 | |
Revision: 5c040dde3c398a84fc0b1a5184dada5d2a137ab3 | |
Failed entries:
|