Resolve "Add CodeQL on github"

Merged Tomek Mrugalski requested to merge 2760-codeql into master

Merge request reports