Started 13 days ago
Took 21 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 247751d2510292c2f1152362c468488bf91a5fc0 | |
Revision: 7f16aa37c534da877b0659713e23a27a9f44eba1 |