Started 7 yr 8 mo ago
Took 1 hr 14 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 587 | |
This run spent:
| |
Revision: 91eae3a1be515d0524f36711c8ccca4509018577 | |
Revision: c5f58776ee856bc5b479a6fc06142e5a48ee52ef |