Started 14 hr ago
Took 4 hr 55 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 7e0cbc6600b9df1b3e304a2aeb36c77604d7d059 | |
Revision: 789e69e9131a953fbada77ee1edb689930829d55 | |
Failed entries: |