Started 12 days ago
Took 19 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 6d56e85f674e77ccd8527d32b89376e9bd435db4 | |
Revision: 3133b68480376425e9d349e5b9dea7f3144ae4be |