Started 4 yr 9 mo ago
Took 18 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 4a327c061870b0d6e0072558e3966abbcf648251 | |
Revision: ec3ff55171a95c2b44120d974b239e8d9bbcf65f | |
Failed entries:
|