diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2024-01-24 22:25:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-24 22:25:25 +0100 |
| commit | 2ced5ae73a6697ea455a14a04072a612eb0c93b6 (patch) | |
| tree | 48c3c4fe04cdd059c80e5aed561170f76af83b6c /.github | |
| parent | Merge pull request #283010 from r-ryantm/auto-update/firefox-unwrapped (diff) | |
| parent | workflows/check-by-name: Trigger on base branch changes (diff) | |
| download | nixpkgs-2ced5ae73a6697ea455a14a04072a612eb0c93b6.tar.gz | |
Merge pull request #282707 from tweag/by-name-base-trigger
workflows/check-by-name: Trigger on base branch changes
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/check-by-name.yml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index 4295c6475848..94875e67b649 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -8,7 +8,15 @@ name: Check pkgs/by-name # see pkgs/test/nixpkgs-check-by-name/scripts/README.md on: # Using pull_request_target instead of pull_request avoids having to approve first time contributors - pull_request_target + pull_request_target: + # This workflow depends on the base branch of the PR, + # but changing the base branch is not included in the default trigger events, + # which would be `opened`, `synchronize` or `reopened`. + # Instead it causes an `edited` event, so we need to add it explicitly here + # While `edited` is also triggered when the PR title/body is changed, + # this PR action is fairly quick, and PR's don't get edited that often, + # so it shouldn't be a problem + types: [opened, synchronize, reopened, edited] permissions: # We need this permission to cancel the workflow run if there's a merge conflict |