Started 5 yr 3 mo ago
Took 6 min 14 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 57a41389d0e2fca718dc80fa4a44865192f293e7 | |
Revision: ef212a8890d26b16808d21ca3f0b6b6c4f3556e9 |