You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When I push to a branch in this repository which is used in a pull request in this repository then the CI pipeline is run twice: once triggered by the push event and once triggered by the pull_request event:
It would be nice if the CI pipeline would only be run once in this case. If this is possible at all then we should only build for pull_request (so that the information in the pull request is updated) and not for push.
The text was updated successfully, but these errors were encountered:
When I push to a branch in this repository which is used in a pull request in this repository then the CI pipeline is run twice: once triggered by the
push
event and once triggered by thepull_request
event:It would be nice if the CI pipeline would only be run once in this case. If this is possible at all then we should only build for
pull_request
(so that the information in the pull request is updated) and not forpush
.The text was updated successfully, but these errors were encountered: