diff --git a/Jenkinsfile b/Jenkinsfile index 0d230f7b..49647960 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,8 @@ pipeline { agent any - triggers { - giteaPush() // ✅ Déclenche automatiquement le pipeline sur chaque push Gitea + triggers { + pollSCM('* * * * *') // Vérifie les changements toutes les minutes, webhook Gitea force un scan immédiat } environment {