Skip to content

Pending CI status precedence over review required#4277

Merged
alexr00 merged 2 commits intomainfrom
alexr00/issue4259
Nov 30, 2022
Merged

Pending CI status precedence over review required#4277
alexr00 merged 2 commits intomainfrom
alexr00/issue4259

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Nov 30, 2022

Fixes #4269, Fixes #4269

@alexr00 alexr00 enabled auto-merge (squash) November 30, 2022 12:41
@alexr00 alexr00 self-assigned this Nov 30, 2022
@alexr00 alexr00 merged commit 0b2038d into main Nov 30, 2022
@alexr00 alexr00 deleted the alexr00/issue4259 branch November 30, 2022 12:55
eslamashour1 pushed a commit to eslamashour1/vscode-pull-request-github that referenced this pull request Dec 31, 2022
* Use warning + circle-filled for review required
Fixes microsoft#4259

* Pending CI status precedence over review required
Fixes microsoft#4269
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Review required status seems to take precedence over CI in progress status

2 participants