llama.cpp icon indicating copy to clipboard operation
llama.cpp copied to clipboard

Editing a PR description shouldn't cause a CI run

Open sw opened this issue 2 years ago • 3 comments

This seems excessive but I'm not sure how to turn that off (edited in build.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.

sw avatar Apr 07 '23 15:04 sw

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.

slaren avatar Apr 07 '23 15:04 slaren

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:

  • requesting a new review
  • mark as draft and back to ready for review
  • close and reopen

it's probably a good idea to remove the 'edited' especially since the CI run is rather big now

anzz1 avatar Apr 08 '23 22:04 anzz1

On the other hand, draft pull requests skip most of the CI checks, that's not so good.

sw avatar Apr 19 '23 14:04 sw

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. But don't have very strong feeling about this - we can reenable if people prefer it

ggerganov avatar Apr 21 '23 18:04 ggerganov

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.

sw avatar Apr 21 '23 20:04 sw

I would suggest the following:

  • disable the edited, review_requested, ready_for_review condition for pull requests
  • enable checks for drafts, so people get a chance for fixing failures before requesting reviews (yes, some checks may fail, but hopefully you're not hammering the git server with a thousand pushes, but test first on your machine)
  • prevent merge with failing checks

I believe at least the last one would have to be set by @ggerganov in the repository settings.

sw avatar Apr 22 '23 11:04 sw

Done

image

ggerganov avatar Apr 22 '23 11:04 ggerganov