Started 6 yr 4 mo ago
Took 4 min 5 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1495 | |
This run spent:
| |
Revision: 7b84ecd54d7070d93e0718ae88d67e69ca7a675d | |
Revision: ae50999898af7ac2a284a45af8690d12ada15794 |