fix

Author: lucasssvaz

.github/codeql/codeql-config-boards.yml

@@ -16,4 +16,5 @@ query-filters:
       tags contain:
         - experimental
   - exclude:
-      id: cpp/unused-static-variable
+      problem.severity:
+        - note

.github/codeql/codeql-config.yml

@@ -16,3 +16,6 @@ query-filters:
   - exclude:
       tags contain:
         - experimental
+  - exclude:
+      problem.severity:
+        - note

.github/workflows/push.yml

@@ -204,9 +204,13 @@ jobs:
       - name: Initialize CodeQL
         uses: github/codeql-action/init@181d5eefc20863364f96762470ba6f862bdef56b # v3.29.2
         if: ${{ env.RUN_CODEQL }}
+        env:
+          # Build mode manual takes roughly double the time to run.
+          # For PRs that build all sketches, we use none to speed up the build.
+          BUILD_MODE: ${{ (needs.gen-chunks.outputs.build_all == 'true' && github.event_name != 'pull_request') && 'manual' || 'none' }}
         with:
           languages: cpp
-          build-mode: manual
+          build-mode: ${{ env.BUILD_MODE }}
           config-file: ./.github/codeql/codeql-config.yml
 
       - name: Build all sketches