diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 43f855daa..f0b622b73 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -75,6 +75,8 @@ jobs: with: languages: ${{ matrix.language }} build-mode: ${{ matrix.build-mode }} + # we don't analyze pull requests, so the uploaded TRAP caches are never downloaded + trap-caching: false # If you wish to specify custom queries, you can do so here or in a config file. # By default, queries listed here will override any specified in a config file. # Prefix the list here with "+" to use these queries and those in the config file.