diff --git a/Jenkinsfile b/Jenkinsfile index b15de87c1d5..6ba853b7114 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -62,6 +62,10 @@ pipeline { } fixed { slackNotif() + websiteBuild() + } + success { + websiteBuild() } } } @@ -153,4 +157,17 @@ def saveHome() { return false; } +def websiteBuild() { + script { + try { + if ( env.BRANCH_NAME == 'jetty-10.0.x' || env.BRANCH_NAME == 'jetty-11.0.x' || env.BRANCH_NAME == 'jetty-12.0.x' ) { + build( job: 'website/jetty.website/main', propagate: false, wait: false ) + } + } catch (Exception e) { + e.printStackTrace() + echo "skip website build triggering: " + e.getMessage() + } + } +} + // vim: et:ts=2:sw=2:ft=groovy