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