diff --git a/Jenkinsfile b/Jenkinsfile index eed94b2d..f2708df3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,6 +2,7 @@ /* `buildPlugin` step provided by: https://github.com/jenkins-infra/pipeline-library */ buildPlugin(useContainerAgent: true, configurations: [ + [platform: 'linux', jdk: 21], // Linux first for coverage report on ci.jenkins.io [platform: 'linux', jdk: 17], [platform: 'windows', jdk: 11], ])