From b448e090fb25f5db90fb964575bc842542df645b Mon Sep 17 00:00:00 2001 From: Vincent Guillet Date: Mon, 2 Feb 2026 14:25:34 +0000 Subject: [PATCH] Update jenkinsfile --- jenkinsfile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/jenkinsfile b/jenkinsfile index 5d9e43c..88e871e 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -12,9 +12,9 @@ pipeline { stages { - // Build & push images (toujours sur ct-home-dev) + // Build & push images (toujours sur vm-infra-dev) stage('Build & Push Docker Images') { - agent { label 'ct-home-dev' } + agent { label 'vm-infra-dev' } steps { // Multi-branch friendly : Jenkins fait le checkout de la branche courante @@ -56,12 +56,12 @@ pipeline { } } - // Déploiement DEV (ct-home-dev, branche dev) + // Déploiement DEV (vm-infra-dev, branche dev) stage('Deploy DEV') { when { branch 'dev' } - agent { label 'ct-home-dev' } + agent { label 'vm-infra-dev' } steps { checkout scm @@ -87,12 +87,12 @@ pipeline { } } - // Déploiement PROD (ct-home-projets, branche main) + // Déploiement PROD (vm-infra-prod1, branche main) stage('Deploy PROD') { when { branch 'main' } - agent { label 'ct-home-projets' } + agent { label 'vm-infra-prod1' } steps { checkout scm