projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d338e4) | patch
Don't run the pypi packaging job on forks (#8256)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 8 Mar 2022 00:49:15 +0000 (01:49 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 00:49:15 +0000 (00:49 +0000)
commita76f4ed7f169dd6f86e841edff8d2c79c3b38369
tree17e8c45b35070a8228e6e09ae557f54f88008cb6tree
parent4d338e4c45caefee34f08c4294127a20f96e7ff6commit | diff
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 diff | blob | history