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