Started 6 yr 11 mo ago
Took 41 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1049 | |
This run spent:
| |
Revision: 3817ee41236d3753339324c7f78545fc28255765 | |
Revision: 803b2f3594ee2d2270d53742fb630fc8a015ea71 |