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