Started 1 mo 2 days ago
Took 18 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: c2cca97a57978a6b9579cc2070984cbb62ba34db | |
Revision: 21a01c3f98d19f738be9e6de876e7062c8ef282c |