Started 7 yr 3 mo ago
Took 23 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 813 | |
This run spent:
| |
Revision: 4f3da52cec02481db9b0219363012a6ea96f33c7 | |
Revision: 369c5c1e156e542e02192574987f278985aa20ac |