diff --git a/Jenkinsfile b/Jenkinsfile index 4d3dde77..390d00e4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,9 +2,8 @@ pipeline { agent any // 🔁 Vérifie toutes les 2 minutes si du nouveau code a été poussé - triggers { - pollSCM('* * * *') - } + triggers { } + // ⚙️ Paramètre manuel (fallback) parameters {