diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml index f03b7a01..ea2b1516 100644 --- a/.github/workflows/manage-prs.yml +++ b/.github/workflows/manage-prs.yml @@ -26,7 +26,19 @@ on: concurrency: group: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} - cancel-in-progress: true + cancel-in-progress: >- + ${{ + ( + github.event_name == 'pull_request_target' && + github.event.pull_request.draft == false + ) || + ( + github.event_name == 'issue_comment' && + github.event.issue.pull_request != '' && + github.event.issue.state == 'open' && + contains(github.event.comment.body, 'ArduinoBot') + ) + }} jobs: diff: