When initially creating the GitHub Actions workflow, it was obviously forgotten to make it also run on pull requests, not only when changes are pushed to branches in the original repository (not a fork).