Skip to content

Merge pull request #3335 from github/mbg/ci/run-codeql-on-all-prs #8515

Merge pull request #3335 from github/mbg/ci/run-codeql-on-all-prs

Merge pull request #3335 from github/mbg/ci/run-codeql-on-all-prs #8515