Started 8 yr 4 mo ago
Took 2 hr 50 min
on worker2
No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 49 | |
Revision: c7def2433a0633a805f4047e34582f1ac2a4490c | |
Revision: 02dc1aead6fcf3a9b61f97e322330bf821d584f4 |