diff options
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2fe2522..5322089 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,9 @@ name: CI on: push: + paths-ignore: + - 'docs/**' + - 'README.md' pull_request: schedule: # Weekly, at 6:45 AM on Thursday (somewhat randomly chosen). |