Skip to content

Remove branch filter for PR event in CodeQL workflow#3335

Merged
mbg merged 1 commit intomainfrom
mbg/ci/run-codeql-on-all-prs
Nov 28, 2025
Merged

Remove branch filter for PR event in CodeQL workflow#3335
mbg merged 1 commit intomainfrom
mbg/ci/run-codeql-on-all-prs

Commits

Commits on Nov 28, 2025