Using Priority pragma in commit message has limitations and in some situations PRs do not end up running with higher priority.
A more reliable method is to use Build with Parameters in Jenkins.
PRs need to be approved to run with priority. Please talk to your manager if there is a need to use this for your PR.
Step #1: Go to Jenkins for your PR. You can do this from link in github.
...