Started 7 yr 11 mo ago
Took 1 hr 18 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 319 | |
Revision: 42b6186fc0e41a247fbece5b9359a13ca4994c29 | |
Revision: 18d3ec0ed6904c2e45af4c767b22c95ae4d462aa |