Started 8 yr 4 mo ago
Took 59 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 47 | |
Revision: 11e06f5283bc441589a730b053ebc0d4fb20c8cf |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 47 | |
Revision: 11e06f5283bc441589a730b053ebc0d4fb20c8cf |