Merge branch 'main' into fix-numbers

model-checking · Sep 7, 2024 · 348f8ec · 348f8ec
2 parents b1bae95 + e29fb31
commit 348f8ec
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/pr_approval.yml b/.github/workflows/pr_approval.yml
@@ -10,7 +10,6 @@ on:
 
 jobs:
  check-approvals:
- if: github.event.review.state == 'APPROVED' || github.event_name == 'workflow_dispatch'
  runs-on: ubuntu-latest
  steps:
  - name: Checkout repository