remove duplication, run only on push

sashabaranov · Mar 8, 2023 · b04e550 · b04e550
1 parent b526476
commit b04e550
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -1,7 +1,6 @@
 name: PR sanity check
 
 on:
-  - pull_request
   - push
 
 jobs: