12:45:51 [2024-06-18T16:45:51.510Z] Running on ub20-x64-omr2 in /home/jenkins/workspace/PullRequest-linux_x86-64
![[Jenkins]](/omr/static/3f6c2b42/images/svgs/logo.svg){kind=logo}
