CI: Exclude external files for CodeQL:

sysprog21 · Oct 10, 2024 · f5bcf60 · f5bcf60
1 parent 4ecee55
commit f5bcf60
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/codeql/codeql-config.yml 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
@@ -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