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/**' |