![[Jenkins]](/jenkins/static/334b159c/images/svgs/logo.svg){kind=logo}
Started 8 yr 4 mo ago
Took 1 min 24 sec
on worker2
| No changes. | |
Started by upstream project "isabelle-repo-checkin" build number 17 | |
 | Revision: 112eefe85ff03a829190f2487c4f95c5b32ac1bf |
| Revision: 0c6b9a4d36fc868da8bea4a3447ee84b9284f1c2 |