Started 8 yr 3 mo ago
Took 2 hr 52 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 92 | |
Revision: 2d73385aa5f35b7a171756c38664a31517163678 | |
Revision: d1ee5da140155c2f7e88591f0b8bb8a67b2f0001 |