Closed liuzengh closed 9 months ago
Push event occurs when there is a push to a repository branch. a pull event also will be triggered after the PR is successfully merged. Listening to push events help report coverage on main branch in badge accurately.
https://docs.github.com/en/webhooks/webhook-events-and-payloads#push
Push event occurs when there is a push to a repository branch. a pull event also will be triggered after the PR is successfully merged. Listening to push events help report coverage on main branch in badge accurately.
https://docs.github.com/en/webhooks/webhook-events-and-payloads#push