projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ed9864) | patch
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)
commit43b688961c4d33faed9f55a17fc926d501560090
tree1878e39b5617c2b22e5bfc0f823a9ad54f9e3067tree
parent3ed98649f44eb680d2a1a1da43aac830268e2660commit | diff
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.
.github/workflows/package_pypi.yml diff | blob | history