update CI to include jdk11 builds (#113)

jenkinsci · Oct 20, 2021 · 78da0f4 · 78da0f4
1 parent e9d6672
commit 78da0f4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,8 @@
-buildPlugin()
+buildPlugin(configurations: [
+    [platform: 'linux', jdk: '8'],
+    [platform: 'linux', jdk: '11'],
+    [platform: 'windows', jdk: '11'],
+])
 
 node('docker') {
      stage('checkout') {