Started 8 yr 2 mo ago
Took 3 hr 48 min
on worker1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 173 | |
Revision: 952714a2008715a2a845a47d05f32fdefb134254 | |
Revision: 5ab855e4402cfba80cb00afb840fd16c19428d1a |