Skip to content

remove repo-specific codeql action, in favor of centralized job#429

Merged
picatz merged 1 commit intomainfrom remove_codeql_workflowApr 11, 2023

Commits

Commits on Apr 10, 2023