Closed NotMyFault closed 1 year ago
The javaLevel option is deprecated and does no longer set the Java version. The option is ignored. This PR removes the unused option.
I'll expedite the merge, once the infrastructure changes on ci.jenkins.io are live, to prevent a failure on the master branch and new PRs.
The javaLevel option is deprecated and does no longer set the Java version. The option is ignored. This PR removes the unused option.
I'll expedite the merge, once the infrastructure changes on ci.jenkins.io are live, to prevent a failure on the master branch and new PRs.