Started 10 hr ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 96f60533ec1da892b07f957eeafed0597acbaa43 | |
Revision: ecd8c892f11ebb0fb82c366ce76bd1fcb2cde8c0 |