CI: pico codeql v4

Signed-off-by: Peter M <petermm@gmail.com>

Author: petermm

.github/workflows/pico-build.yaml

@@ -143,7 +143,7 @@ jobs:
       run: git config --global --add safe.directory /__w/AtomVM/AtomVM
 
     - name: "Initialize CodeQL"
-      uses: github/codeql-action/init@v3
+      uses: github/codeql-action/init@v4
       with:
         languages: "cpp"
         build-mode: manual
@@ -160,7 +160,7 @@ jobs:
         ninja
 
     - name: "Perform CodeQL Analysis"
-      uses: github/codeql-action/analyze@v3
+      uses: github/codeql-action/analyze@v4
 
     - name: Install nvm and nodejs 20
       if: matrix.board != 'pico2'