Started 8 yr 3 mo ago
Took 2 hr 43 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 3 | |
Revision: 527488dc8b902a9bb0b56247740dc19bd3a57e43 | |
Revision: ce0696e2d872c460f801fc3c73414a09c846377b |