From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Fri, 1 Apr 2022 20:29:24 +0000 (+0200)
Subject: Only run pypi packaging when release is published (#8526)
X-Git-Tag: cvc5-1.0.0~55
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=43b688961c4d33faed9f55a17fc926d501560090;p=cvc5.git

Only run pypi packaging when release is published (#8526)

We incorrectly triggered pypi packaging when a release was created or published, i.e. it would run twice.
---

diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index 79c740157..53e0d3d3d 100644
--- a/.github/workflows/package_pypi.yml
+++ b/.github/workflows/package_pypi.yml
@@ -1,6 +1,6 @@
 on:
   release:
-    types: [created, published]
+    types: [published]
   schedule:
     - cron: '0 1 * * *'