Started 6 yr 4 mo ago
Took 1 hr 38 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1505 | |
This run spent:
| |
Revision: 2d3c1091527b8adf2ea7c2d89f336e9f8b296216 | |
Revision: f2a1e7450ff1e2a2706b90fc783195e1308bb931 |