Started 5 yr 3 mo ago
Took 1 hr 57 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 2c48be88f84718fa75d0e09779dba679fcb7a26d | |
Revision: be1342e33484a08723edb3a7391ddbae105e2897 | |
Failed entries: |