Started 7 yr 7 mo ago
Took 2 min 34 sec
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 616 | |
This run spent:
| |
Revision: 3d4331b658613805a57bd86fbdd7de33f6ef296b | |
Revision: 74c0b7f55fa2405d5c41c94d26b2ad0c8745f30d |