Started 8 days 4 hr ago
Took 18 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 4953d52e04d282cf2efeca93107a729180c2a719 | |
Revision: 522700c4808ec9cba1df853f8c8270926e4f37f1 |