projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a5d89d) | patch
Fix pypi packaging trigger again (#8512)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 17:33:03 +0000 (19:33 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 17:33:03 +0000 (10:33 -0700)
commit4c682ca762dd54d1ac9e0b5ef116d98eaa045429
tree344645c89333978855f030516d5e7b36e851b3e7tree
parent2a5d89da3be4e4b807d9336e6c560997035b5089commit | diff
Fix pypi packaging trigger again (#8512)

Further workflows are not triggered when the GITHUB_TOKEN is used. This PR creates new releases using the ACTION_USER_TOKEN instead.
.github/actions/store-binary/action.yml diff | blob | history
.github/workflows/ci.yml diff | blob | history