Started 8 yr 1 mo ago
Took 1 hr 25 min
on worker4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 212 | |
Revision: dd6cd88cebd97776a17f237b9446e215340be324 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 212 | |
Revision: dd6cd88cebd97776a17f237b9446e215340be324 |