diff --git a/Jenkinsfile b/Jenkinsfile index d1abbbe4..0d230f7b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent any + triggers { + giteaPush() // ✅ Déclenche automatiquement le pipeline sur chaque push Gitea + } + environment { REGISTRY_URL = "registry.wk-archi-o24a-15m-g3.fr" IMAGE_NAME = "the-tip-top-backend"