* Also reinstate CodeQL since github/codeql-action#850 is supposed to be fixed. * Also fix a false Coverity warning.