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