projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3ed9864)
Only run pypi packaging when release is published (#8526)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 20:29:24 +0000 (22:29 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 20:29:24 +0000 (13:29 -0700)
We incorrectly triggered pypi packaging when a release was created or published, i.e. it would run twice.

.github/workflows/package_pypi.yml patch | blob | history

diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index 79c740157b922b6c8b5c6f67e6d523f20f8fc7ba..53e0d3d3db705685da1b6e762df47ebf42fa41cd 100644 (file)
--- 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 * * *'