diff options
| -rw-r--r-- | .github/workflows/ci.yml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a2a6b6423..5316a1eee 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,14 @@ name: Continuous Integration on: - - push - - pull_request + push: + paths-ignore: + - '**/*.md' + pull_request: + paths-ignore: + - 'doc/**' + - 'contrib/**' + - '**/*.md' jobs: build: |