Started 4 yr 10 mo ago
Took 1 hr 33 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: caa2bbf8475d5c16af73a643567652e8253cc512 | |
Revision: e6d3d109c89accb0844780d899a2cd92cbe7cbb4 | |
Failed entries: |