Started 13 days ago
Took 4 hr 39 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: ef2134570abb6090fa65107661ec8c3f4ffc06e0 | |
Revision: 900cfb1adad1be3ceb2623f40667fb56e4ce8a8a |