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