From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Fri, 1 Apr 2022 00:44:49 +0000 (+0200)
Subject: Also run on created. (#8506)
X-Git-Tag: cvc5-1.0.0~80
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6989ecf2c78ef2207b0f36ed92d6654418e6553;p=cvc5.git

Also run on created. (#8506)

The way we now create releases apparently does not trigger the release::published event. It should trigger the release::created event, though.
---

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