Started 8 yr 2 mo ago
Took 1 hr 13 min
on worker4
No changes. | |
Started by upstream project isabelle-repo build number 134 | |
Revision: 94535e6dd16841ceb68f9136d0b2ab8ce110bcfc |
No changes. | |
Started by upstream project isabelle-repo build number 134 | |
Revision: 94535e6dd16841ceb68f9136d0b2ab8ce110bcfc |