mirror of
https://github.com/arduino/library-registry.git
synced 2025-04-26 17:28:53 +03:00
Don't run "Manage PRs" workflow on draft PRs
The draft mode clearly indicates that the PR is not ready for processing, so having the submission system run on these PRs will only be an annoyance.
This commit is contained in:
parent
60513e52a7
commit
ca4906f041
5
.github/workflows/manage-prs.yml
vendored
5
.github/workflows/manage-prs.yml
vendored
@ -22,7 +22,10 @@ on:
|
||||
jobs:
|
||||
diff:
|
||||
if: >
|
||||
github.event_name == 'pull_request_target' ||
|
||||
(
|
||||
github.event_name == 'pull_request_target' &&
|
||||
github.event.pull_request.draft == false
|
||||
) ||
|
||||
(
|
||||
github.event_name == 'issue_comment' &&
|
||||
github.event.issue.pull_request != '' &&
|
||||
|
Loading…
x
Reference in New Issue
Block a user