about summary refs log tree commit diff
path: root/.github
diff options
context:
space:
mode:
authorSilvan Mosberger <contact@infinisil.com>2024-01-24 22:25:25 +0100
committerGitHub <noreply@github.com>2024-01-24 22:25:25 +0100
commit2ced5ae73a6697ea455a14a04072a612eb0c93b6 (patch)
tree48c3c4fe04cdd059c80e5aed561170f76af83b6c /.github
parent17696cd06f00f28f2d425d09090dbaf72892126d (diff)
parent0825957f5441f5892a123998730af53fa2056f00 (diff)
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.yml10
1 files changed, 9 insertions, 1 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml
index 4295c64758485..94875e67b6497 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