Started 3 yr 7 mo ago
Took 7 min 51 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 47253b1a31ed97b8b684731ecea57e691a3a06ed | |
Revision: 58bc7e81bc7fe0a6c0deea1b17681e5e1f7fee4e | |
Failed entries: |