Skip to content

Add CodeQL workflow for GitHub code scanning#682

Merged
martinschneider merged 1 commit intomartinschneider:masterfrom lgtm-migrator:codeqlJun 14, 2023