[#8534] set up github codeql workflow
2 files changed