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

by gprasanth on 2/16/2021, 9:39:53 AM with 0 comments