Started 5 yr 3 mo ago
Took 6 min 10 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 4ce5ce3a612bf3d5ec6ef6c82d189346fcd7eef7 | |
Revision: 05a838f6fa6fb58a16438e5458c87969d6da7863 |