Started 3 yr 9 mo ago
Took 1 hr 57 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) | |
This run spent:
| |
Revision: a282abb076424d8ab34111edf9b865ab9202a80e | |
Revision: 58bc7e81bc7fe0a6c0deea1b17681e5e1f7fee4e | |
Failed entries: |