Started 16 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7506cb70ecfbdfc33c24c1318d9993ddeeda2963 | |
Revision: 2db006965e8e45305e2ca8a88b6eb9094e3942a6 |