Started 8 yr 1 mo ago
Took 3 hr 44 min
on worker1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 215 | |
Revision: 53ca45d3913054732406f4265f69407b3c62ffed | |
Revision: a1e33c7248ea47ce883640542d978925455bbba1 |