Started 6 yr 8 mo ago
Took 1 hr 35 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1258 | |
This run spent:
| |
Revision: 80985b62029d9c1e69fba724863d3b30e2bee83a | |
Revision: 796885dcfa9d8faf45801f5d4e31a62c065701e3 |