diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c6e6519b7..5d2ddbedd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,8 +3,14 @@ name: CI on: push: branches: master + paths-ignore: + - 'CHANGES*' + - 'Doc/**' pull_request: branches: master + paths-ignore: + - 'CHANGES*' + - 'Doc/**' jobs: build: