Started 8 yr 3 mo ago
Took 1 hr 14 min
on worker2
No changes. | |
Started by upstream project isabelle-repo build number 106 | |
Revision: 715bf5beedc060bb8b27877185cc88c8e7467e5c |
No changes. | |
Started by upstream project isabelle-repo build number 106 | |
Revision: 715bf5beedc060bb8b27877185cc88c8e7467e5c |