diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/ci_github.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci_github.yml b/.github/workflows/ci_github.yml index 88c3418..bcac50c 100644 --- a/.github/workflows/ci_github.yml +++ b/.github/workflows/ci_github.yml @@ -2,6 +2,9 @@ name: CI (GitHub) on: push: + paths: + - 'examples/**' + - 'project/**' pull_request: schedule: # Weekly, at 5:30 AM on Saturday (somewhat randomly chosen). |