Started 7 yr 9 mo ago
Took 1 hr 33 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 471 | |
This run spent:
| |
Revision: 21eaff8c8fc9cbdaa67201f6d9414644b784f039 | |
Revision: 0488179e90993b1994c6317ac8c07b989c621eaa |