Don't run the pypi packaging job on forks (#8256)

Right now, the nightly pypi packaging job runs on all forks. This commit disabled this.

See https://github.community/t/do-not-run-cron-workflows-in-forks/17636

diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index d582c6f7ba097b07ec455664668ffd58e175b94d..53e0d3d3db705685da1b6e762df47ebf42fa41cd 100644 (file)
--- a/.github/workflows/package_pypi.yml
+++ b/.github/workflows/package_pypi.yml
@@ -13,6 +13,7 @@ jobs:
         os: [ ubuntu-latest, macos-latest ]
 
     runs-on: ${{ matrix.os }}
+    if: (github.repository == 'cvc5/cvc5') || (github.event_name != 'schedule')
 
     steps:
     - uses: actions/checkout@v2