Started 6 yr 5 mo ago
Took 7 min 17 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1407 | |
This run spent:
| |
Revision: 64d928bacddd818dd39e9926ccca688d348b6e0d | |
Revision: 85896becff81f3810936ddf54e4c9a2158ce0dde |