Started 7 yr 8 mo ago
Took 8 min 49 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 549 | |
This run spent:
| |
Revision: 1e92b5c356150d5ab930891e7172ea99a0f7350d | |
Revision: 9e3c20be5a59de7d8d29981ea7ec0c3d80456d68 |