Started 5 yr 8 mo ago
Took 1 hr 12 min
on workermtahpc
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: f443ec10447da75b617294f84223cc6d3023ccfd | |
Revision: e15414dceb2836d07d50546ee94ff8083fbcc80d | |
Failed entries: |