Started 8 yr 4 mo ago
Took 3 hr 10 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 16 | |
Revision: 7e4d31eefe6084f9db387d2bd16c1f6741957860 | |
Revision: a7e4d5151c1a3ebb4c05f466e155ce3de63c1ad1 |