Started 7 yr 11 mo ago
Took 1 hr 22 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 348 | |
Revision: f1cae4239d4c2293321c8019b6208a215f5351af | |
Revision: 6f9ebd3fe526bbb7d68a72439ae9857b3c4f3767 |