12:43:20 [2024-06-12T16:43:20.371Z] Running on ub20-x64-omr6 in /home/jenkins/workspace/PullRequest-linux_aarch64
![[Jenkins]](/omr/static/8f74fa29/images/svgs/logo.svg){kind=logo}
