Started 13 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 12ce957231e0b335a2b26179dbd16cf073a21dea | |
Revision: d8aa8cc911785f38955a087c12585dcf3374e70b |