15:06:28 [2023-05-26T19:06:28.019Z] Running on ub20-x64-omr7 in /home/jenkins/workspace/Build-linux_riscv64_cross-joe
![[Jenkins]](/omr/static/80639cf5/images/svgs/logo.svg){kind=logo}
