Started 1 mo 2 days ago
Took 4 hr 36 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: dca9c237d108edc6bce09ff869192025012969b3 | |
Revision: 74a3f7ca46409d4156006d1a2ec1fe457506d566 |