message: Add commit hash to performance run PR comment
diff: @@ -114,18 +114,24 @@ def runCI =
  }
  buildProject(prj, formatCheck, nodes.dockerArray, compileCommand, testCommand, null)
  - boolean commentExists = false
  - for (prComment in pullRequest.comments) {
  - if (prComment.body.contains("Performance reports:"))
  - commentExists = true
  + def commentString = "Performance reports: \n" + "Commit hashes: \n"
  + for(parentHash in prj.gitParentHashes) {
  + commentString += "${parentHash} \n"
  }
  - if (!commentExists) {
  - def commentString = "Performance reports: \n"
  for (gpu in gpus) {
  for (dataType in dataTypes) {
  commentString += "[${gpu} ${dataType} report](${JOB_URL}/${dataType}-precision-${gpu})\n"
  }
  }
  + boolean commentExists = false
  + for (prComment in pullRequest.comments) {
  + if (prComment.body.contains("Performance reports:"))
  + {
  + commentExists = true
  + prComment.body = commentString
  + }
  + }
  + if (!commentExists) {
  def comment = pullRequest.comment(commentString)
  }
  }
  