projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b100b1d)
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)
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 patch | blob | history

diff --git a/.github/workflows/package_pypi.yml b/.github/workflows/package_pypi.yml
index 1c561a8d52ff2fd8fbd4b3f00c64b5eb252d2c9e..d582c6f7ba097b07ec455664668ffd58e175b94d 100644 (file)
--- a/.github/workflows/package_pypi.yml
+++ b/.github/workflows/package_pypi.yml
@@ -1,6 +1,4 @@
 on:
-  push:
-  pull_request:
   release:
     types: [published]
   schedule: