Started 7 yr 11 mo ago
Took 1 hr 8 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 318 | |
Revision: f01d1e393f3f4f898a4b4404cccfff78ae65afcc | |
Revision: b7b8bde8e10f5fc4eea491ee61187910a5e544d8 |