diff --git a/.github/codeql.env b/.github/codeql.env new file mode 100755 index 00000000..18ae839a --- /dev/null +++ b/.github/codeql.env @@ -0,0 +1 @@ +CODEQL_ACTION_CLEANUP_TRAP_CACHES=true \ No newline at end of file diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b331ac1b..6e794927 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -47,6 +47,13 @@ jobs: fetch-depth: 1 submodules: recursive + - name: Set up environment + run: | + set -a + source .github/codeql.env + cat .github/codeql.env >> $GITHUB_ENV + echo $(pwd) >> $GITHUB_PATH + # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL scan uses: github/codeql-action/init@v3