This commit switches to a bigger Github runner for the build-pull-request.yml PR workflow.
The motivation is to give some more breathing room to the possibly resource constrained Spring Pulsar tests.