Started 19 days ago
Took 4 hr 58 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 0428c7ad25aa9088a08f7db217f63bbaebbfaaf6 | |
Revision: d7275cde1db1151eb0d1fda6260ae7822c278427 | |
Failed entries: |