Started 8 yr 4 mo ago
Took 3 hr 7 min
on worker1
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 51 | |
Revision: d396da07055db77bd5c19c207fff0ec188b619d6 | |
Revision: 5fdf477615899d46ecef26168834c6d459628660 |