From b6d6e784c82cb6c8c0116c7224a99a3332aa186d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Beamonte?= Date: Tue, 20 Feb 2024 11:46:53 -0500 Subject: [PATCH] Add pull request trigger for closed trigger type (#6) For some reason, it does not seem to trigger for `pull_request_target` right now; it might be related to merge queues only (since it seems to have closed others properly when merge queues are not involved), but it leaves exceptions requests pull requests open instead of tagging them properly and closing them. --- .github/workflows/artikodin.yaml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/artikodin.yaml b/.github/workflows/artikodin.yaml index 0265b23..dba6315 100644 --- a/.github/workflows/artikodin.yaml +++ b/.github/workflows/artikodin.yaml @@ -19,6 +19,13 @@ on: branch: - main + # This does not work on forks, we are duplicating + # the 'closed' call here because it does not seem + # to behave as expected for `pull_request_target`. + pull_request: + types: + - closed + # Runs on a merge group build merge_group: types: