Reduce the number of PR checks that are run on `push`#700

henrymercer merged 1 commit intomaingithub/codeql-action:mainfrom

henrymercer/reduce-num-pr-check-jobs-on-pushgithub/codeql-action:henrymercer/reduce-num-pr-check-jobs-on-pushCopy head branch name to clipboard