-
Notifications
You must be signed in to change notification settings - Fork 141
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
avoid running workflows AFTER merging PRs #1373
avoid running workflows AFTER merging PRs #1373
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #1373 +/- ##
=======================================
Coverage 19.08% 19.08%
=======================================
Files 166 166
Lines 11066 11066
=======================================
Hits 2112 2112
Misses 8954 8954
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK
The reason why we have a check on main once the PR is merged is because we want to check if multiple changes together has caused any issue or not. But currently how are workflow works is, even if the changes on main and the PR branch are unrelated, still the github excepts us to rebase and make our PR branch consistent to main. For our workflow removing the push to main branch check is ok. But it would have been ideal if we can have merge policies a bit sorted, like unrelated change need not to be rebased or stuff.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what if you push again to this pull request, would that rerun ci?
5dc57ee
to
24922d4
Compare
just rebased against |
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
marked the two comments above as outdated, as the new Github UI seems a bit buggy IMO we should just keep rebasing PRs against |
ACK.. We should be strict with it now onwards, as we are removing push on main |
24922d4
to
55fba7c
Compare
close #1372