J'utilise Jenkins avec le plugin constructeur Github demande de tractionJenkins - build de déclenchement lorsque Github PR est fermé ou fusionné
https://wiki.jenkins.io/display/JENKINS/GitHub+pull+request+builder+plugin
Il est bien de déclencher la construction lorsque le PR est ouvert ou mise à jour mais je besoin d'un façon de déclencher lorsque le PR est fermé ou fusionné. J'utilise Terraform pour lancer une série de serveurs, j'ai donc besoin de l'événement ou de la condition pour terminer la pile après que le PR soit fermé/fusionné.
On dirait que la plupart des plugins ne peuvent être déclenchés que par un événement open/update sur Github PR.
Une idée?
Merci!