Use `paths` filter

This is needed to avoid unnecessary CodeQL scans.
2023-07-04 00:32:32 +02:00 · 2023-07-04 00:32:32 +02:00 · c4ef9e008f
parent b588bb74b9
commit c4ef9e008f
1 changed files with 8 additions and 0 deletions
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@ -3,9 +3,17 @@ name: "CodeQL"
 on:
  push:
    branches: [ 'master' ]
+    paths:
+      - '**.c'
+      - '**.cpp'
+      - '**.h'
  pull_request:
    # The branches below must be a subset of the branches above.
    branches: [ 'master' ]
+    paths:
+      - '**.c'
+      - '**.cpp'
+      - '**.h'
  schedule:
    - cron: '33 7 * * 6'