Started 4 yr 9 mo ago
Took 1 hr 35 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 2adff54de67eb4adf58652b6d5dad5010d6ca610 | |
Revision: afc6961f090cdab26e5f8045eacd2aa0519b7b8a | |
Failed entries: |