Started 1 mo 0 days ago
Took 4 min 26 sec
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a0f93621c332995496f2556062225bf761ddf055 | |
Revision: bd6e0a8eeb239c099ce62424e026f628236ebaa4 | |
Failed entries: |