Started 11 days ago
Took 1 hr 22 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 898034c8a799efbea748c9d0911764dd9d1a6279 | |
Revision: 3292bc5b0e318fba2db6cb46215b7dccf5eb837e | |
Failed entries: |