Started 4 yr 11 mo ago
Took 6 min 40 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 22c7eee0dd564d55e646dee32bb8901ead58f92d | |
Revision: 87cfcf4d1decf54886521582535258515c47a693 |