Started 5 yr 3 mo ago
Took 29 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: ab8aad4aa76e11e15da6b17a10de5e0cfa93eefc | |
Revision: 51034f90c51c656ab647f5f8bc53dfcaefab41e3 | |
Failed entries: |