Started 8 yr 0 mo ago
Took 1 hr 25 min
on worker2
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 233 | |
Revision: 90a44d2716837bef7fb1579ca17ea8d8c138cc34 |
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 233 | |
Revision: 90a44d2716837bef7fb1579ca17ea8d8c138cc34 |