12:39:36 [2024-06-03T16:39:36.121Z] Running in /home/jenkins/workspace/Build/buildenv/docker/x86_64/ubuntu20
![[Jenkins]](/omr/static/80639cf5/images/svgs/logo.svg){kind=logo}
