Started 1 mo 3 days ago
Took 4 hr 34 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: 217f8173d3585b1f10b74d6901f3cf7cc95caf4c | |
Revision: edbde774b3fa192d9cf27d7d3e055671db25d5be |