#256 - Use JDK 15 for latest CI jobs.

2020-10-26 13:11:18 -05:00
parent 6c9b4ceab4
commit 59b663b7dc
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@@ -56,10 +56,10 @@ pipeline {
 					}
 				}

-				stage("test: baseline (jdk14)") {
+				stage("test: baseline (jdk15)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk14:latest'
+							image 'adoptopenjdk/openjdk15:latest'
 							label 'data'
 							args '-v $HOME:/tmp/jenkins-home'
 						}