Started 7 yr 12 mo ago
Took 1 hr 9 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 278 | |
Revision: a095acd4cfbf28e35a23c9e903ea6a8801313cc6 | |
Revision: 5149b621d433d790117bee6b954e8547def1487d |