fixup! codeql: disable a couple of non-critical queries for now

Use checkout v4

Signed-off-by: Johannes Schindelin <[email protected]>

Author: jsoref

.github/workflows/codeql.yml

@@ -21,7 +21,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install dependencies
         run: ci/install-dependencies.sh