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