Started 5 yr 1 mo ago
Took 20 min
on workermta1
Build Artifacts | |
Changes
Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) | |
This run spent:
| |
Revision: 042ae6ca2c408d83aeaf4fea794b548292176f9f | |
Revision: 7c585d0056e3c977bad9ca4760eede6a50d37f09 | |
Failed entries: |