Started 7 yr 5 mo ago
Took 5 min 2 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 699 | |
This run spent:
| |
Revision: d047004c1109de2ffb433c701fa07772e13e85bd | |
Revision: c34b4857e05c4475185852629b03ad814902286b |