Started 6 days 16 hr ago
Took 14 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: b8c5b23ce24c8703e97ad0310b9f72cf109b615e | |
Revision: cb3b332840aea480728fbaa1a1c68e2542bb890f |