Started 6 yr 2 mo ago
Took 1 hr 8 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1574 | |
This run spent:
| |
Revision: 53ab458395a89d68066f6f13373428a55f437e0f | |
Revision: 5eb15b18d3137d384d37540c92c9f780e2ef5daf |