-
Notifications
You must be signed in to change notification settings - Fork 11.4k
Editing a PR description shouldn't cause a CI run #836
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Comments
I have noticed this too. Makes me feel a bit bad every time that I modify the description, but am not sure if this has any real cost for us anyway. |
build.yml pull_request:
- types: [opened, synchronize, edited, reopened, review_requested, ready_for_review]
+ types: [opened, synchronize, reopened, review_requested, ready_for_review] it was there so you can force a new CI run without pushing anything by editing the PR when it hangs due to github lagging but as you can also trigger that by other ways:
it's probably a good idea to remove the 'edited' especially since the CI run is rather big now |
On the other hand, draft pull requests skip most of the CI checks, that's not so good. |
I thought that usually drafts are incomplete and checks will likely fail, so I disabled them. |
I think you would fix the checks while in draft state, then set it to "ready for review" once they pass. But other people may have different habits. I realize I can enable actions on my own branch, but ideally I would like to have them run only on manual trigger - that doesn't seem possible. |
I would suggest the following:
I believe at least the last one would have to be set by @ggerganov in the repository settings. |
This seems excessive but I'm not sure how to turn that off (
edited
inbuild.yml
?), without inadvertently also removing other triggers (such as a push to the branch the PR wants to merge).Also, other actions such as requesting a review should not trigger a CI run IMO.
The text was updated successfully, but these errors were encountered: