Also on PR edits.

OFFIS-DAI · Sep 9, 2024 · c16cd6b · c16cd6b
1 parent be82c45
commit c16cd6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-mango.yml b/.github/workflows/test-mango.yml
@@ -6,7 +6,7 @@ on:
       - main
       - development
   pull_request:
-    types: [opened, reopened]
+    types: [opened, synchronize, reopened]
 
 
 permissions: