[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.
2 files changed