Started 7 yr 1 mo ago
Took 3 min 16 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 891 | |
This run spent:
| |
Revision: d76c9c5c06564d1a6ac88447c7d6157bc441998d | |
Revision: a66120364b5f2573a6482092cb1243f82a990e6f |