Started 7 yr 10 mo ago
Took 1 hr 19 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 380 | |
Revision: a2dffa971ec65e96384f972ca2fdebfdf12fb3cc | |
Revision: e9b3e218735f139f49ad8f24222319b5c63784a4 |