Started 7 yr 3 mo ago
Took 1 hr 29 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 798 | |
This run spent:
| |
Revision: 883acfccb265623cd942eb5af942ed070e601522 | |
Revision: e73b2178df9daad042ef53169006a685da1a6b5f |