Started 7 yr 4 mo ago
Took 5 min 52 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 786 | |
This run spent:
| |
Revision: b47ba1778e44f1a67fcdfec6f35cf3c1e3c090ba | |
Revision: f4ad47afbf16bce947a5b05e35b9a72df2f8b419 |