Started 6 yr 11 mo ago
Took 58 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1011 | |
This run spent:
| |
Revision: be8d3819c21cfd4537e651cfce27bc088f31324a | |
Revision: 9f41cb6d9cfa7d4c787fe3d119a898817102a7b4 |