chore: fix Jenkins build

Signed-off-by: Stephane Bouchet <[email protected]>
redhat-developer · Oct 23, 2024 · 1dcb1cc · 1dcb1cc
1 parent 3ddc3a8
commit 1dcb1cc
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"