Started 7 yr 7 mo ago
Took 1 hr 20 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 611 | |
This run spent:
| |
Revision: fc2835a932d9e3118067b82493df112614a5a515 | |
Revision: 25e6aa827a8f16a4e47349d59f007c6c78b32d6c |