Started 1 mo 1 day ago
Took 13 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: 11a1f4d7af5151d66bd27e3eda809150abf2eb48 | |
Revision: ba52e1ff7569f57c8032710bae889da5b9b8e9d7 |