update-pr-branch icon indicating copy to clipboard operation
update-pr-branch copied to clipboard

Published 20 hours ago • verified publisher icon adRise

Still considering outdated reviews

Open nafur opened this issue 4 years ago • 2 comments

We are seeing that this action does not properly update PRs with the following reviews (in chronological order):

  1. Commenting, User A
  2. Request Changes, User B
  3. Approve, User A
  4. Approve, User B

This is the case that I tried to fix with #11, but somehow it does not work in some cases. (or does not work at all? I'm not sure, actually).

For an example in the wild: https://github.com/cvc5/cvc5/pull/6617 and the job https://github.com/cvc5/cvc5/runs/2672214302?check_suite_focus=true#step:2:9

nafur avatar May 26 '21 06:05 nafur