Started 8 yr 5 mo ago
Took 1 hr 9 min
on worker4
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 2 | |
Revision: 527488dc8b902a9bb0b56247740dc19bd3a57e43 |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 2 | |
Revision: 527488dc8b902a9bb0b56247740dc19bd3a57e43 |