From 78849b2433d6ccb404d2cd6c69d65c76ecb89649 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Beamonte?= Date: Fri, 9 Feb 2024 14:29:46 -0800 Subject: [PATCH] Add pull request trigger for closed trigger type 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: