Skip running CI for the changes to the files not affecting it
Note that if we decide to do something for the docs later (e.g. run a spell checker on them), it should be done in a separate workflow and not in this one.
This commit is contained in:
parent
acc41e3fff
commit
067d927cb1
1 changed files with 6 additions and 0 deletions
6
.github/workflows/ci.yml
vendored
6
.github/workflows/ci.yml
vendored
|
|
@ -3,8 +3,14 @@ name: CI
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches: master
|
branches: master
|
||||||
|
paths-ignore:
|
||||||
|
- 'CHANGES*'
|
||||||
|
- 'Doc/**'
|
||||||
pull_request:
|
pull_request:
|
||||||
branches: master
|
branches: master
|
||||||
|
paths-ignore:
|
||||||
|
- 'CHANGES*'
|
||||||
|
- 'Doc/**'
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue