From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 8 Mar 2022 00:49:15 +0000 (+0100)
Subject: Don't run the pypi packaging job on forks (#8256)
X-Git-Tag: cvc5-1.0.0~308
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a76f4ed7f169dd6f86e841edff8d2c79c3b38369;p=cvc5.git

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 d582c6f7b..53e0d3d3d 100644
--- 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