diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-02-01 11:58:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-01 11:58:50 +0100 |
| commit | 06fa362486a3fe8b9fba6d243b5c1b35816101e5 (patch) | |
| tree | c104f31a773d229090a3e96efe0f7795a367d677 /.github | |
| parent | .github/labeler.yml: automatically add backport label for PRs touching `ci/` ... (diff) | |
| parent | workflows/eval: no maintainer reviews in draft mode (diff) | |
| download | nixpkgs-06fa362486a3fe8b9fba6d243b5c1b35816101e5.tar.gz | |
workflows/eval: no maintainer reviews in draft mode (#372479)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/eval.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml index dcb664c6fa8e..79384daa6b3e 100644 --- a/.github/workflows/eval.yml +++ b/.github/workflows/eval.yml @@ -2,6 +2,7 @@ name: Eval on: pull_request_target: + types: [opened, ready_for_review, synchronize, reopened] push: # Keep this synced with ci/request-reviews/dev-branches.txt branches: @@ -334,3 +335,5 @@ jobs: REPOSITORY: ${{ github.repository }} NUMBER: ${{ github.event.number }} AUTHOR: ${{ github.event.pull_request.user.login }} + # Don't request reviewers on draft PRs + DRY_MODE: ${{ github.event.pull_request.draft && '1' || '' }} |