Started 8 yr 0 mo ago
Took 3 hr 39 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 243 | |
Revision: a97a3a95be93797eba63bc8592188daa880a0f34 | |
Revision: e67273333c33b034e075f455f05cc0215baa6ccd |