Started 19 days ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: ed9b1598d293e52bf6d06e39aad9ced72619d97f | |
Revision: 306ab6fa90a185f15480a07f79c972ae6262fcff |