Started 7 yr 9 mo ago
Took 1 hr 28 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 422 | |
Revision: 9321b3d50abdd444bbd3e838e1ed46c887cdf6cf | |
Revision: 20717868983de01aeadbddbc8e85f97804bf2edf |