Started 7 yr 3 mo ago
Took 32 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 829 | |
This run spent:
| |
Revision: 83586780598b0f2281c30e8bd701bd0cf55f1263 | |
Revision: 74350d3e6c66e03d5cef25fb12137ecbd98d54e6 |