Started 7 yr 0 mo ago
Took 2 min 27 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 962 | |
This run spent:
| |
Revision: 8b433b6f302f727b9991930fa8af05f1b8b2fa59 | |
Revision: e10b97309369f181f545a612ebbd33e50b416dc7 |