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