projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 078759e) | patch
Also run on created. (#8506)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 00:44:49 +0000 (02:44 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 00:44:49 +0000 (17:44 -0700)
commitf6989ecf2c78ef2207b0f36ed92d6654418e6553
treef3916bd07e195571376b8c8e2a23a9e1935e58edtree
parent078759ea821c793b39cf0d8541a715d6caffdbc6commit | diff
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.
.github/workflows/package_pypi.yml diff | blob | history