Skip to content

Switch to using the default CodeQL config#525

Merged
jeffwidman merged 1 commit intomainfrom
delete-custom-codeql-config
Oct 13, 2025
Merged

Switch to using the default CodeQL config#525
jeffwidman merged 1 commit intomainfrom
delete-custom-codeql-config

Commits

Commits on Oct 13, 2025