Skip to content

Use workflow for codeql configuration#2720

Merged
timotheeguerin merged 8 commits intomainfrom codeql-as-workflowDec 5, 2023