Started 8 yr 1 mo ago
Took 1 hr 23 min
on worker3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 194 | |
Revision: fe31996e3898257268b062d34c3c54fcb11b9d97 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 194 | |
Revision: fe31996e3898257268b062d34c3c54fcb11b9d97 |