Started 3 yr 2 mo ago
Took 1 hr 55 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 6c2da22c96310799f6f0d0c1ecda2aceb1cc5d85 | |
Revision: de7a40fb511d1ad84a12399c5cc93ff6e4e46701 |