[SKIP_CI] still builds for pull requests (Github)

Putting [SKIP_CI] in the commit message works perfectly for push events, as it skips the pipeline for this push, however it doesn’t work for pull requests. If a pull request is open and you commit something with the message [SKIP_CI] it will still run the build for the pull request. Only when [SKIP_CI] is in the title of the PR will it skip the build. This is undesirable, now we have to change the title of the pull request, then commit, then change the title back before the next commit to build again.