Merge pull request #406 from jenkinsci/jenkinsfile

Update Jenkinsfile syntax
jenkinsci · Jun 28, 2023 · 0157d4f · 0157d4f
2 parents c22566c + 021a45e
commit 0157d4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 buildPlugin(configurations: [
   [ platform: 'linux', jdk: '8', jenkins: null ],
-  [ platform: 'linux', jdk: '11', jenkins: null, javaLevel: '8' ],
+  [ platform: 'linux', jdk: '11', jenkins: null ],
   [ platform: 'windows', jdk: '8', jenkins: null ],
 ])