Started 7 yr 4 mo ago
Took 27 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 787 | |
This run spent:
| |
Revision: 30d0b2f1df768f398c6a36da855205aa866a99a9 | |
Revision: f4ad47afbf16bce947a5b05e35b9a72df2f8b419 |