Started 7 yr 11 mo ago
Took 1 hr 7 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 321 | |
Revision: d7b5e2a222c2ebd8e7e3f0e93a6e18c9e2fb0cda | |
Revision: 0647e837b49e1c185833acf53c13914375c4d442 |