Started 17 days ago
Took 5 hr 4 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 8678986d9af564ab1117549b1f431f8fc51b8d31 | |
Revision: 522b0b25f6a8f0403f5199218fa097719fd195c9 |