diff --git a/Jenkinsfile b/Jenkinsfile index d88a3c1..b9ec001 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,2 +1,14 @@ -// Build the plugin using https://github.com/jenkins-infra/pipeline-library -buildPlugin() +#!/usr/bin/env groovy + +/* `buildPlugin` step provided by: https://github.com/jenkins-infra/pipeline-library */ +buildPlugin( + // Container agents start faster and are easier to administer + useContainerAgent: true, + // Show failures on all configurations + failFast: false, + // Test Java 11 with minimum Jenkins version, Java 17 with a more recent version + configurations: [ + [platform: 'linux', jdk: '11'], // Linux first for coverage report on ci.jenkins.io + [platform: 'windows', jdk: '17'], + ] +)