add push paths as well

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