Add CodeQL workflow for GitHub code scanning#275

Open

lgtm-com[bot] wants to merge 1 commit intoCourseDesign:masterfrom

lgtm-migrator:codeql

Commits on Nov 9, 2022

Add CodeQL workflow for GitHub code scanning
lgtm-migrator
committed