Started 8 yr 0 mo ago
Took 1 hr 16 min
on workermta2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 269 | |
Revision: 65a9eb946ff2e854178becdad46b37aa481904a8 | |
Revision: 98725e179e628e2f8373f845501e074f4f452036 |