Started 7 yr 6 mo ago
Took 1 hr 8 min
on workermta4
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 650 | |
This run spent:
| |
Revision: ef0a5fd30f3b8a56f103a70dbc5dfbed7d9f0eab |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 650 | |
This run spent:
| |
Revision: ef0a5fd30f3b8a56f103a70dbc5dfbed7d9f0eab |