From 4ad676bb4e32aae21e26c5da514ff0501b3a92b2 Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Tue, 30 May 2023 09:00:59 +0200
Subject: [PATCH] .github: also run when PR is merged

https://stackoverflow.com/a/61565445/1708249
---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 4a34e079..f0aa7ff5 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -9,7 +9,9 @@ name: Bob the Builder
 #      - '*'
 on:
   pull_request_review:
-    types: [submitted]
+    types:
+      - submitted
+      - closed
   workflow_dispatch:
 
 jobs: