diff --git a/Jenkinsfile b/Jenkinsfile index 39b42fc..571c1a3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1 +1,4 @@ -buildPlugin(useAci: true) +buildPlugin(useAci: true, + configurations: [ + [platform: 'linux', jdk: '11'] + ])