[sr-dev] git:master:777ecf6b: github: don't execute codeql for each push [skip ci]