Started 12 days ago
Took 18 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: a30a1385f7d0c2a018eaca1cdc8f5939e2b11cab | |
Revision: e3e5ef41078000702338a550c98763c0150ef1fc |