Started 19 days ago
Took 5 hr 4 min
on workermtahpc
Changes
Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default) Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) | |
This run spent:
| |
Revision: 613ac8c77a84212408cba7d5bc65238ea3ab2f34 | |
Revision: 87aeb9267de09d6fcf5ae6bd0433d6b6f5ab0c45 |