Started 10 days ago
Took 13 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 577a2896ace90cee5b05a9895858b286c7a92bdf | |
Revision: 81de808826f9449462e98d17b86e9884d4275533 |