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