Started 6 yr 8 mo ago
Took 1 hr 37 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1279 | |
This run spent:
| |
Revision: bab3208d8d37b005f4850502c0f70c6d28555307 | |
Revision: 9ad8f3af760fdc8cfefd77f5796e59c43da8f939 |