Started 6 yr 11 mo ago
Took 58 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1008 | |
This run spent:
| |
Revision: 403d84138c5c5ab5877802bfaec33031e168a893 | |
Revision: 63886d6c16f19f8104626727e98bfa562dbdafab |