Started 1 mo 6 days ago
Took 10 hr
on workerlrz5
Build Artifacts | |
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: 4bcf3d5da98bc25379493ae27ea6b3d2f835c2a3 | |
Revision: def25b977c4a76665140f84456e438217b7a47c5 |