projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b100b1d) | patch
Only build wheels nightly and for releases (#8223)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 4 Mar 2022 18:19:39 +0000 (19:19 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 18:19:39 +0000 (18:19 +0000)
commit4e99ec176be7006de142fe9f2e005ae539efdee0
tree50a7e238186cdeaa0a91da40744d7545f3340347tree
parentb100b1d0c4d7b50aa78975a4e386be28294ecf94commit | diff
Only build wheels nightly and for releases (#8223)

We accidentally enabled building the python wheels with every commit. This fixes it to only build them once at night and for releases.
.github/workflows/package_pypi.yml diff | blob | history