From e19f9972e0fa9990c9cbc546a99e2096076d9e00 Mon Sep 17 00:00:00 2001 From: cristiano Date: Wed, 6 May 2026 21:38:47 +1000 Subject: [PATCH] updating Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 932393d..c713926 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any stages { - stage('Checking the Repository') { + stage('Checking the dev branch on linux repository') { steps { script { // <--- Added script block if (isUnix()) {