Started 8 yr 2 mo ago
Took 3 hr 23 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 166 | |
Revision: 1ba3aacfa4d3b0f92bc92facc01f83027aa90372 | |
Revision: ff0cce73ed98e714e2aaca14642003378c47c055 |