github actions: use pull_request event only

clxmstaab · staabm · commit 18cd8fe144f3 · 2021-12-07T09:38:09.000+01:00
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -1,6 +1,6 @@
 name: PHP Checks
 
-on: [push, pull_request]
+on: [pull_request]
 
 jobs:
 
