Started 8 yr 4 mo ago
Took 58 min
on worker1
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 43 | |
Revision: 9527ff088c15799d5a7604fa974242f8b75b87a8 |
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 43 | |
Revision: 9527ff088c15799d5a7604fa974242f8b75b87a8 |