From f6169778b932ff201cb6876055b893e92d1cc3ef Mon Sep 17 00:00:00 2001 From: wkadmin Date: Thu, 30 Oct 2025 15:03:11 +0000 Subject: [PATCH] Actualiser Jenkinsfile --- Jenkinsfile | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index dc68cc2..258dee8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -81,4 +81,25 @@ pipeline { success { echo "✅ Déploiement du frontend réussi !" } failure { echo "❌ Échec du pipeline frontend." } } + stage('Health Check') { + steps { + echo "🩺 Vérification de la disponibilité du frontend..." + script { + def success = false + for (int i = 1; i <= 3; i++) { + echo "⏳ Tentative #${i} de vérification (attente ${i * 10}s)..." + sh "sleep ${i * 10}" + def code = sh(script: "curl -k -s -o /dev/null -w '%{http_code}' https://dsp5-archi-o24a-15m-g3.fr", returnStdout: true).trim() + echo "Réponse HTTP : ${code}" + if (code == '200' || code == '301' || code == '302') { + success = true + break + } + } + if (!success) { + error("❌ Le frontend ne répond pas après plusieurs tentatives.") + } + } + } +} }