Started 8 yr 0 mo ago
Took 4 hr 6 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 239 | |
Revision: ce90bb3d29025fbaa66d584dd4be20f10421e970 | |
Revision: f0173d65c4f18cc7f5ba16111fffa9b525b8f344 |