no

Signed-off-by: Mathias L. Baumann <[email protected]>

Author: Marenz

.github/workflows/ci.yaml

@@ -1,6 +1,7 @@
 name: CI
 
 on:
+  pull_request:
   merge_group:
   push:
     # We need to explicitly include tags because otherwise when adding