[infra] Build failed in Jenkins: weirdo-testing-stein #15