Started 7 yr 11 mo ago
Took 1 hr 9 min
on workermta3
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 350 | |
Revision: 7fb02cee1cba4f6cfa64717fd720075b4d2890b4 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 350 | |
Revision: 7fb02cee1cba4f6cfa64717fd720075b4d2890b4 |