Started 7 yr 1 mo ago
Took 2 min 21 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 892 | |
This run spent:
| |
Revision: ed705d6a6a632efd32251fd057a4cc091f6ea92b | |
Revision: a66120364b5f2573a6482092cb1243f82a990e6f |