message: Don't look for pull request unless we think we have one
diff: @@ -148,8 +148,11 @@ pipeline {
  }
  }
  post {
  - always {
  + success {
  script {
  + if (env.BRANCH_NAME == "develop") {
  + build job: "CmdStan Performance Tests/master", wait:false
  + } else if (env.CHANGE_ID) {
  //Init comment string
  def comment = ""
  @@ -193,12 +196,6 @@ pipeline {
  //Issuing our comment to GitHub PR
  def github_comment = pullRequest.comment(comment)
  }
  - }
  - success {
  - script {
  - if (env.BRANCH_NAME == "develop") {
  - build job: "CmdStan Performance Tests/master", wait:false
  - }
  utils.mailBuildResults("SUCCESSFUL")
  }
  }
  