Started 1 mo 7 days ago
Took 20 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: bc39a468ace6e979f973d919aa6c99c2efc56e9c | |
Revision: 5f464d8f92c54760d5fb5d837d80b7a11ab42f6c | |
Failed entries: |