diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-extra.yml | 2 | ||||
| -rw-r--r-- | .github/workflows/build.yml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build-extra.yml b/.github/workflows/build-extra.yml index f35a7d3d3..b6e8e902b 100644 --- a/.github/workflows/build-extra.yml +++ b/.github/workflows/build-extra.yml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | name: Build-extra CI | 1 | name: Build-extra |
| 2 | 2 | ||
| 3 | on: | 3 | on: |
| 4 | push: | 4 | push: |
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 12df38762..c898c34f5 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | name: Build CI | 1 | name: Build |
| 2 | 2 | ||
| 3 | # Note: Keep this list in sync with DISTFILES in ../../Makefile. | 3 | # Note: Keep this list in sync with DISTFILES in ../../Makefile. |
| 4 | on: | 4 | on: |