diff --git a/.github/codeql/codeql-config.yml b/.github/codeql/codeql-config.yml new file mode 100644 index 00000000..c18d2814 --- /dev/null +++ b/.github/codeql/codeql-config.yml @@ -0,0 +1,5 @@ +paths: + - 'src' +paths-ignore: + - 'src/mini-gdbstub/**' + - 'src/softfloat/**' diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index f189304d..52222e73 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -30,6 +30,7 @@ jobs: - name: Initialize CodeQL uses: github/codeql-action/init@v3 with: + config-file: .github/codeql/codeql-config.yml languages: ${{ matrix.language }} queries: +security-and-quality