Started 6 yr 8 mo ago
Took 1 hr 43 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1268 | |
This run spent:
| |
Revision: fc87d3becd691e61804aa316f97d944aa3e55366 | |
Revision: 3a3f930183b74e6e099ea22f869e14216693d8dc |