diff options
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index bd6fdb2e1..607c2e59c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
| @@ -6,6 +6,8 @@ name: Build | |||
| 6 | # Note: Keep this list in sync with DISTFILES in ../../Makefile. | 6 | # Note: Keep this list in sync with DISTFILES in ../../Makefile. |
| 7 | on: | 7 | on: |
| 8 | push: | 8 | push: |
| 9 | branches-ignore: | ||
| 10 | - 'dependabot/**' | ||
| 9 | paths: | 11 | paths: |
| 10 | - 'contrib/**' | 12 | - 'contrib/**' |
| 11 | - 'etc/**' | 13 | - 'etc/**' |