MINOR: Update jdk and maven names in Jenkinsfile (#9453)

This commit is contained in:
Ismael Juma 2020-10-19 09:54:47 -07:00 committed by GitHub
parent d99fe49234
commit 2db67db8e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

8
Jenkinsfile vendored
View File

@ -101,8 +101,8 @@ pipeline {
stage('JDK 8') { stage('JDK 8') {
agent { label 'ubuntu' } agent { label 'ubuntu' }
tools { tools {
jdk 'JDK 1.8 (latest)' jdk 'jdk_1.8_latest'
maven 'Maven 3.6.3' maven 'maven_3_latest'
} }
options { options {
timeout(time: 8, unit: 'HOURS') timeout(time: 8, unit: 'HOURS')
@ -122,7 +122,7 @@ pipeline {
stage('JDK 11') { stage('JDK 11') {
agent { label 'ubuntu' } agent { label 'ubuntu' }
tools { tools {
jdk 'JDK 11 (latest)' jdk 'jdk_11_latest'
} }
options { options {
timeout(time: 8, unit: 'HOURS') timeout(time: 8, unit: 'HOURS')
@ -142,7 +142,7 @@ pipeline {
stage('JDK 15') { stage('JDK 15') {
agent { label 'ubuntu' } agent { label 'ubuntu' }
tools { tools {
jdk 'JDK 15 (latest)' jdk 'jdk_15_latest'
} }
options { options {
timeout(time: 8, unit: 'HOURS') timeout(time: 8, unit: 'HOURS')