[ci] Avoid duplicate builds on pull requests Don’t run GitHub Actions on pushing to branches other than master. This was already the case for the linux-ci workflow.
2021-03-16T00:20:05