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