Merge pull request #147 from erhancagirici/skip-push-in-prs

ci: skip CI push job on PRs

Author: bobh66

.github/workflows/ci.yml

@@ -126,6 +126,7 @@ jobs:
   # This job downloads the single-platform packages built by the build job, and
   # pushes them as a multi-platform package.
   push:
+    if: ${{ github.event_name != 'pull_request' }}
     runs-on: ubuntu-24.04
     needs:
       - build