Started 7 yr 11 mo ago
Took 1 hr 8 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 308 | |
Revision: d51a0a772094bf71ca220dec4648d08966055a21 | |
Revision: 755bb8f4e95f05975f319ea10f0fff4d467d1092 |