ginkgo
ginkgo copied to clipboard
redundant GitHub action for release
There are redundant GitHub action when opening pull request for release observed in #1451
I think that is because of one for PR to master and one for push, but I think that was by design ? But we can probably remove the action for PR to master ?
Alternatively, if the only way of modifying master
or develop
is through a PR, we can remove the push
trigger