ci: fix dependabot duplicated workflow runs

Every workflow is being executed twice for dependabot: Once when its
branch is pushed to this repository and again when a PR is opened for
it.

For example, see the checks in #5979 ("29 checks passed").

This happens because both `on.push` and `on.pull_request` are specified
in the workflow files.

There does not seem to be a simple and generic way to avoid such
duplicated runs directly in GitHub Actions (such as preventing the same
check from running for the same exact commit)[1], so just ignore the
dependabot branches on push for now.

See also and commit 5871b08a4 ("ci: run for every branch instead of just
master", 2023-04-23) / PR #5815.

[1] https://github.com/orgs/community/discussions/26276

7 files changed, 14 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
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - 'm4/**'
       - 'src/**.c'
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
 # Note: Keep this list in sync with DISTFILES in ../../Makefile.
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - 'contrib/**'
       - 'etc/**'
diff --git a/.github/workflows/check-c.yml b/.github/workflows/check-c.yml
index 2940465a9..29be41be5 100644
--- a/.github/workflows/check-c.yml
+++ b/.github/workflows/check-c.yml
@@ -4,6 +4,8 @@ name: Check-C
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - 'm4/**'
       - 'src/**.c'
diff --git a/.github/workflows/check-profiles.yml b/.github/workflows/check-profiles.yml
index 9caf8e0c7..9e77c7f60 100644
--- a/.github/workflows/check-profiles.yml
+++ b/.github/workflows/check-profiles.yml
@@ -4,6 +4,8 @@ name: Check-Profiles
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - 'ci/check/profiles/**'
       - 'etc/**'
diff --git a/.github/workflows/check-python.yml b/.github/workflows/check-python.yml
index 35584165c..977510145 100644
--- a/.github/workflows/check-python.yml
+++ b/.github/workflows/check-python.yml
@@ -4,6 +4,8 @@ name: Check-Python
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - '**.py'
       - .github/workflows/check-python.yml
diff --git a/.github/workflows/codespell.yml b/.github/workflows/codespell.yml
index 8cbe32328..b5d2b505d 100644
--- a/.github/workflows/codespell.yml
+++ b/.github/workflows/codespell.yml
@@ -4,6 +4,8 @@ name: Codespell
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths-ignore:
       - 'm4/**'
       - COPYING
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index c7f1df261..20a552a64 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -4,6 +4,8 @@ name: Test
 
 on:
   push:
+    branches-ignore:
+      - 'dependabot/**'
     paths:
       - 'm4/**'
       - 'src/**.c'