Started 1 mo 14 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 1ca617398213b91950730676762449c747bc7be4 | |
Revision: 12db4a7858c05211734681027809b1f0e1dafcac |