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