Started 6 yr 7 mo ago
Took 1 hr 38 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1287 | |
This run spent:
| |
Revision: ed499d1252fc6013885207d63e822d137abe980f | |
Revision: 13b56916094794ac359cebde124fdd697b6d04b7 |