Started 1 mo 1 day ago
Took 4 min 25 sec
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 71d005ffa9fe55d46927b00469f3b302df95ff76 | |
Revision: c6e769593bac5cbba7a36a421a8a0f58bbabe894 | |
Failed entries: |