Started 6 yr 1 mo ago
Took 1 hr 46 min
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 1647 | |
This run spent:
| |
Revision: 42d63ea3916165c657c30b8b2f7a43b1b09d6e1c | |
Revision: 9ab3d1ca24b6c6caf1f04f9d0d000dbc58169913 |