Correctly skip job if there are already reviewers assigned

Signed-off-by: Daniel Weiße <dw@edgeless.systems>
This commit is contained in:
Daniel Weiße 2024-06-04 16:26:42 +02:00
parent 0f5a571509
commit 275b8ec6fd
No known key found for this signature in database
GPG Key ID: 7DD3015F3DDE4B9C

View File

@ -6,6 +6,7 @@ on:
- opened
- reopened
- edited
- synchronize
- review_request_removed
- labeled
@ -15,7 +16,7 @@ permissions:
jobs:
assign_reviewer:
runs-on: ubuntu-latest
if: contains(github.event.pull_request.labels.*.name, 'dependencies') && github.event.pull_request.requested_reviewers == null && (github.event.pull_request.user.login == 'renovate[bot]')
if: contains(github.event.pull_request.labels.*.name, 'dependencies') && toJson(github.event.pull_request.requested_reviewers) == '[]' && github.event.pull_request.user.login == 'renovate[bot]'
steps:
- uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4.1.6
- name: Pick assignee