diff options
Diffstat (limited to '.github/workflows/build-extra.yml')
| -rw-r--r-- | .github/workflows/build-extra.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/build-extra.yml b/.github/workflows/build-extra.yml index 82be41b3e..8973cb4ad 100644 --- a/.github/workflows/build-extra.yml +++ b/.github/workflows/build-extra.yml | |||
| @@ -4,6 +4,8 @@ name: Build-extra | |||
| 4 | 4 | ||
| 5 | on: | 5 | on: |
| 6 | push: | 6 | push: |
| 7 | branches-ignore: | ||
| 8 | - 'dependabot/**' | ||
| 7 | paths: | 9 | paths: |
| 8 | - 'm4/**' | 10 | - 'm4/**' |
| 9 | - 'src/**.c' | 11 | - 'src/**.c' |