10:29:18 [2023-05-19T14:29:18.834Z] Running on ub20-x64-omr9 in /home/jenkins/workspace/Build-linux_riscv64_cross-joe
![[Jenkins]](/omr/static/80639cf5/images/svgs/logo.svg){kind=logo}
