test pr change

model-checking · Jul 10, 2024 · 5e63b4c · 5e63b4c
1 parent 5d8ee62
commit 5e63b4c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/pr_approval.yml b/.github/workflows/pr_approval.yml
@@ -5,9 +5,10 @@ name: Check PR Approvals
 # To protect against that scenario, we can turn on number of approvals required to 2 in the github settings
 # of the repository
 on:
-  pull_request_review:
-    types: [submitted]
-  workflow_dispatch:
+  pull_request:
+  # pull_request_review:
+  #   types: [submitted]
+  # workflow_dispatch:
 
 # Without these permissions, we get a 403 error from github
 # for trying to modify the pull request for newer project.
@@ -16,7 +17,6 @@ permissions: write-all
 
 jobs:
   check-approvals:
-    if: github.event.review.state == 'APPROVED' || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository