Use 'gh codeql' with the nightly release for CI jobs#9936

hvitved merged 2 commits into

github:maingithub/codeql:mainfrom

aibaars:gh-codeql-nightlyaibaars/codeql:gh-codeql-nightlyCopy head branch name to clipboard