Started 7 yr 8 mo ago
Took 1 hr 20 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 537 | |
This run spent:
| |
Revision: 261d42f0bfac06ef84076cf56e707f3cfa68269f | |
Revision: dac93a109e61300cdd0764dd8578bbd0408ad809 |