Started 3 yr 10 mo ago
Took 5 min 58 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 6678e4d9508f3a983ea393039ba7476287583f4c | |
Revision: 0362f33fb9499f0d276134b0407a2c4d43436432 |