From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Fri, 4 Mar 2022 18:19:39 +0000 (+0100)
Subject: Only build wheels nightly and for releases (#8223)
X-Git-Tag: cvc5-1.0.0~325
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e99ec176be7006de142fe9f2e005ae539efdee0;p=cvc5.git

Only build wheels nightly and for releases (#8223)

We accidentally enabled building the python wheels with every commit. This fixes it to only build them once at night and for releases.
---

diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index 1c561a8d5..d582c6f7b 100644
--- a/.github/workflows/package_pypi.yml
+++ b/.github/workflows/package_pypi.yml
@@ -1,6 +1,4 @@
 on:
-  push:
-  pull_request:
   release:
     types: [published]
   schedule: