MINOR: Jenkinsfile's `post` needs `agent` to be set
The `node` block achieves that.
Tested that an email was sent to the mailing list for:
Added back the condition not to send emails for PR builds after
such test.
Reviewers: Gwen Shapira
@@ -274,6 +274,7 @@ pipeline {
post {
always {
+ node('ubuntu') {
script {
if (!isChangeRequest(env)) {
step([$class: 'Mailer',
@@ -285,3 +286,4 @@ pipeline {
}
}
}
+}
