Started 7 yr 11 mo ago
Took 1 hr 15 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 301 | |
Revision: f3781c5fb03f445926406000d61ccca7cdb51d49 | |
Revision: 17f71f5c41641fb93bdff68396e128166ea1d085 |