Update coverage pull request comment settings
Update coverage pull request comment settings

* keep the comment succinct
* don't post immediately after receiving the first result
* don't post on release PRs

dials/dials,dials/dials,dials/dials,dials/dials,dials/dials