CI issue: CodeQL doesn't work well recently

[Sen-real]

CodeQL became unstable not long ago, and thus we can't get a green CI result in our PRs.

I've disabled CodeQL for now in PR#. We need to make it stable and turn it on again.