Started 6 yr 5 mo ago
Took 1 hr 40 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1434 | |
This run spent:
| |
Revision: a6f5a78712af536340567e058e059453843efc42 | |
Revision: d81c9decba70548c9263eac8d43da56285a7b167 |