Started 5 yr 10 mo ago
Took 5 min 24 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1768 | |
This run spent:
| |
Revision: 71483c0e0023089728572c8a3a99d956b253c884 | |
Revision: 6e9f7e2eb79fd240f199b00dd693096d78b6b1f4 |