ci: Add PR types (#265)

This prevented badges from being generated.
Mulugruntz · Dec 3, 2023 · 4342175 · 4342175
1 parent 9990a60
commit 4342175
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,6 +7,11 @@ on:
   pull_request:
     branches:
       - master
+    types:
+      - opened
+      - synchronize
+      - reopened
+      - closed
 
 jobs:
   matrix-builder: