Started 4 yr 0 mo ago
Took 6 min 0 sec
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 2108c0e7ce13c3a5d4da5be9e4275964e8f2a967 | |
Revision: 0362f33fb9499f0d276134b0407a2c4d43436432 |