chore: disable unused CodeQL overlay database cache (#32702)

This commit is contained in:
andig 2026-08-10 18:58:36 +02:00 • committed by GitHub
parent 612e588cb6
commit cc72eeb510
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -27,6 +27,9 @@ jobs:
# - https://gh.io/using-larger-runners (GitHub.com only)
# Consider using larger runners or machines with greater resources for possible analysis time improvements.
runs-on: ${{ (matrix.language == 'swift' && 'macos-latest') || 'ubuntu-latest' }}
env:
# we don't analyze pull requests, so the cached overlay base databases are never restored
CODEQL_OVERLAY_DATABASE_MODE: None
permissions:
# required for all workflows
security-events: write