From 76f27f674d0cce2118e0804f16fe9198b6e727e7 Mon Sep 17 00:00:00 2001 From: willemjan Date: Thu, 13 Aug 2026 23:42:45 +0200 Subject: [PATCH] any agent --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 271c62b..38d6cda 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent { label 'ssh-agent' } + agent any options { skipDefaultCheckout(true) @@ -11,7 +11,7 @@ pipeline { sh 'whoami; git --version; java -version' } } - + stage('Checkout') { steps { withCredentials([usernamePassword(