diff --git a/.github/codeql.yml b/.github/codeql.yml new file mode 100644 index 000000000..b5fc5ec6b --- /dev/null +++ b/.github/codeql.yml @@ -0,0 +1,7 @@ +name: "CodeQL config" + +paths: + - src/autoconf + - src/scheduler + - src/ui + - src/common \ No newline at end of file diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml index e7627e21b..a18c6c0d7 100644 --- a/.github/workflows/dev.yml +++ b/.github/workflows/dev.yml @@ -201,11 +201,7 @@ jobs: uses: github/codeql-action/init@v2 with: languages: ${{ matrix.language }} - paths: - - src/autoconf - - src/scheduler - - src/ui - - src/common + config-file: ./.github/codeql/codeql.yml - name: Perform CodeQL Analysis uses: github/codeql-action/analyze@v2 with: