Started 6 yr 6 mo ago
Took 51 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1393 | |
This run spent:
| |
Revision: 63d7aca15f6b1ae41f91bee3f9f75036dbfc0273 | |
Revision: 5bafb840fdc87300ac544be096e274fae3ed9fee |