![[Jenkins]](/jenkins/static/334b159c/images/svgs/logo.svg){kind=logo}
Started 7 yr 10 mo ago
Took 1 min 41 sec
on workermta2
| Build Artifacts | |
| No changes. | |
Started by upstream project isabelle-repo build number 376 | |
 | Revision: 6209c06d776fa8e2c98925b2b28abe9ca64b1ddf |
| Revision: 9ae7f45dc225837e16b2dcac35715d3228f8fcbb |