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