09:56:01 [2024-03-25T13:56:01.629Z] Running on ub20-x64-omr7 in /home/jenkins/workspace/PullRequest-linux_x86-64
![[Jenkins]](/omr/static/98b404bb/images/svgs/logo.svg){kind=logo}
