Started 8 yr 3 mo ago
Took 2 hr 52 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 90 | |
Revision: 7c56e4a1ad0c160e0b9c9b314790823584405274 | |
Revision: 82b8d7032f1fc85f3e2f8fc709537b018f2121c3 |