Started 3 yr 0 mo ago
Took 1 hr 23 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: ed5226fdf89d32e5d537e2d4e22d9bfb13c040a6 | |
Revision: 401da3b5743dba616518e259f1d8c5ccfe6cf79e | |
Failed entries: |