try with edited pull_request trigger

model-checking · Aug 22, 2024 · efc68d0 · efc68d0
1 parent b079d37
commit efc68d0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pr_approval.yml b/.github/workflows/pr_approval.yml
@@ -7,9 +7,10 @@ name: Check PR Approvals
 on:
  workflow_dispatch:
  pull_request:
+ types:
+ - opened
+ - edited
  branches: [ main ]
- pull_request_review:
- types: [submitted]
 
 jobs:
  check-approvals: