Started 8 yr 2 mo ago
Took 1 hr 12 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 150 | |
Revision: 2e874d9aca436a2a30e9639587bff8141ca08a14 |
No changes. | |
Started by upstream project isabelle-repo build number 150 | |
Revision: 2e874d9aca436a2a30e9639587bff8141ca08a14 |