[Lima-build] Build failed in Jenkins: lima-ci #300-origin/develop