Jenkins: ignore ended builds not related to pull requests#181

Merged

phillipj merged 1 commit intonodejs:masterfrom

phillipj:fix-jenkins-build-end-filter

Jun 11, 2018

Commits on Jun 10, 2018

fix(jenkins): ignore ended builds not related to pull requests
phillipj
committed