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.
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.
jbesraa
left a comment
There was a problem hiding this comment.
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