Started 14 days ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 2503ff5d29ce9e819895832bce463a8356f85c86 | |
Revision: 0bfc066d9e91751b408dab4c33d490367f30bda1 |