Started 7 yr 8 mo ago
Took 1 hr 15 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 539 | |
This run spent:
| |
Revision: d7e0123a752b5c95a395e0e248361e0b16a1e6d2 | |
Revision: 17705eda1d71df9fa9457cc3c506ffc2793267f6 |