Started 8 yr 3 mo ago
Took 57 min
on worker4
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 76 | |
Revision: bfa38c2e751fd25e8097c28f7b8ff3b311ebfeae |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 76 | |
Revision: bfa38c2e751fd25e8097c28f7b8ff3b311ebfeae |