![[Jenkins]](/jenkins/static/334b159c/images/svgs/logo.svg){kind=logo}
Started 8 yr 3 mo ago
Took 3 hr 1 min
on worker3
| No changes. | |
Started by upstream project isabelle-repo build number 106 | |
 | Revision: 715bf5beedc060bb8b27877185cc88c8e7467e5c |
| Revision: 465ecf447f0a172caf58b9f93811a061c0e41a63 |
| No changes. | |
Started by upstream project isabelle-repo build number 106 | |
| Revision: 715bf5beedc060bb8b27877185cc88c8e7467e5c |
| Revision: 465ecf447f0a172caf58b9f93811a061c0e41a63 |