Started 7 yr 8 mo ago
Took 26 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 584 | |
This run spent:
| |
Revision: f8be2208e99cfbdd9d5be93b272b4f623f8d1bef | |
Revision: 58b97709a7f5f02965ca8687b31c3b358b05cb88 |