Skip pull request and push GitHub Action workflows with [skip ci]


comments powered by Disqus