message: Triggering build on Jenkins
diff: @@ -14,6 +14,8 @@ def runTests(String prefix = "") {
  """
  }
  +performance_log=""
  +
  pipeline {
  agent none
  options { skipDefaultCheckout() }
  @@ -126,7 +128,9 @@ pipeline {
  }
  }
  steps {
  - build(
  + script{
  +
  + build_log = build(
  job: "CmdStan Performance Tests/downstream_tests",
  parameters: [
  string(name: 'cmdstan_hash', value: env.BRANCH_NAME)
  @@ -134,6 +138,10 @@ pipeline {
  propagate: true,
  wait:true
  )
  +
  + performance_log = Jenkins.getInstance().getItemByFullName("CmdStan Performance Tests/downstream_tests").getBuildByNumber(build_log.getNumber()).logFile.text
  +
  + }
  }
  }
  }
  @@ -142,6 +150,7 @@ pipeline {
  post {
  always {
  script{
  + echo performance_log
  def comment = pullRequest.comment('This PR is highly illogical..')
  }
  }
  