From a76f4ed7f169dd6f86e841edff8d2c79c3b38369 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 8 Mar 2022 01:49:15 +0100
Subject: [PATCH] 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
---
 .github/workflows/package_pypi.yml | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2