diff options
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0577cb962..0a4da2cc3 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
| @@ -5,6 +5,7 @@ name: Build | |||
| 5 | 5 | ||
| 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 | workflow_dispatch: | ||
| 8 | push: | 9 | push: |
| 9 | branches-ignore: | 10 | branches-ignore: |
| 10 | - 'dependabot/**' | 11 | - 'dependabot/**' |