Started 8 yr 3 mo ago
Took 1 hr 0 min
on worker4
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 90 | |
Revision: 7c56e4a1ad0c160e0b9c9b314790823584405274 |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 90 | |
Revision: 7c56e4a1ad0c160e0b9c9b314790823584405274 |