Update jenkinsfile

merge

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