Description
Jenkins quits build on pull request with:
WorkflowScript: 38: Tool type "maven" does not have an install of "Maven 3 (latest)" configured - did you mean "maven_3_latest"? @ line 38, column 15.
https://ci-builds.apache.org/blue/organizations/jenkins/Karaf%2Fkaraf-cellar/detail/PR-91/1/pipeline#log-8 maven 'Maven 3 (latest)'
https://ci-builds.apache.org/blue/organizations/jenkins/Karaf%2Fkaraf-cellar/detail/PR-91/1/pipeline#log-11WorkflowScript: 39: Tool type "jdk" does not have an install of "JDK 11 (latest)" configured - did you mean "jdk_11_latest"? @ line 39, column 13.
https://ci-builds.apache.org/blue/organizations/jenkins/Karaf%2Fkaraf-cellar/detail/PR-91/1/pipeline#log-12 jdk 'JDK 11 (latest)'