1
0
mirror of https://github.com/arduino/library-registry.git synced 2025-07-10 13:01:01 +03:00

Merge pull request #23 from arduino/skip-drafts

Don't run "Manage PRs" workflow on draft PRs
This commit is contained in:
per1234
2021-04-29 01:36:32 -07:00
committed by GitHub

View File

@ -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 != '' &&