message: Fix accidental removal of triggering performance tests on merge to develop
diff: @@ -164,7 +164,14 @@ pipeline {
  }
  }
  post {
  - success { script { utils.mailBuildResults("SUCCESSFUL") } }
  + success {
  + script {
  + if (env.BRANCH_NAME == "develop") {
  + build job: "CmdStan Performance Tests/master", wait:false
  + }
  + utils.mailBuildResults("SUCCESSFUL")
  + }
  + }
  unstable { script { utils.mailBuildResults("UNSTABLE", "stan-buildbot@googlegroups.com") } }
  failure { script { utils.mailBuildResults("FAILURE", "stan-buildbot@googlegroups.com") } }
  }
  