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