aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/jenkins/comment_on_pr.sh
Commit message (Expand)AuthorAge
* Make Jenkins post microbenchmarking diff in a commentGravatar Matt Kwong2017-03-16
* Add script to allow Jenkins to comment on PRsGravatar Matt Kwong2017-03-16