Started 7 yr 8 mo ago
Took 1 hr 24 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 589 | |
This run spent:
| |
Revision: 012b64bcd3996dedc6bc786bb3d502791901329c | |
Revision: a78b2535f5685064086650445a2fa9e04fc40457 |