From 68f6f040dc0e4be2440bc0bbb526b28ebe9b4e1c Mon Sep 17 00:00:00 2001 From: KVKR31 Date: Thu, 3 Aug 2023 17:38:33 +0530 Subject: [PATCH] replace --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7a0d8dc8c..b50df6ea0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent {'label JDK_8'} + agent {label 'JDK_8'} options { retry(3) timeout(time: 30, unit: 'MINUTES')