chore: fix Jenkins build

Signed-off-by: Stephane Bouchet <[email protected]>
redhat-developer · Oct 24, 2024 · 8fcf41c · 8fcf41c
1 parent 1d88d5a
commit 8fcf41c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -3,7 +3,7 @@
 node('rhel7'){
 	def recipientList = '[email protected]'
 
-	def javaHome = tool 'openjdk-11'
+	def javaHome = tool 'openjdk-17'
 	env.JAVA_HOME = "${javaHome}"
 
 	try {
@@ -35,7 +35,7 @@ node('rhel7'){
 
 		if(publishToMarketPlace.equals('true')){
 			timeout(time:5, unit:'DAYS') {
-				input message:'Approve deployment?', submitter: 'jmaury,adietish'
+				input message:'Approve deployment?', submitter: 'sbouchet,adietish'
 			}
 
 			def channel = isSnapshot?"nightly":"stable"