Add CodeQL workflow for GitHub code scanning#17

lgtm-com[bot] wants to merge 1 commit into

ml-tooling:mainml-tooling/lazycluster:mainfrom

lgtm-migrator:codeqllgtm-migrator/lazycluster:codeqlCopy head branch name to clipboard