ci: do not run workflows for etc/schema.json

As it is rather a documentation file than code

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 9100806b3e1df64a53ade27ae82235dd76af79ef..9f191e7d91f5476f063734b72f7d716726aae3a1 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -6,11 +6,13 @@ on:
       # Don't run this workflow if only files under doc/ have been
       # modified.
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
     paths-ignore:
       # Don't run this workflow if only files under doc/ have been
       # modified.
       - "doc/**"
+      - "etc/schema.json"
   workflow_dispatch:
     inputs:
       SU_REPO:

diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml
index 4d130f38c6644498183df2b4839b69f1be5951f0..6a699d8e8d9a6d49202d8dcc9325e94296eed188 100644 (file)
--- a/.github/workflows/cifuzz.yml
+++ b/.github/workflows/cifuzz.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 31e059a2e7544de85cacfeb47815098143c221b6..4b4f20743173fb2dbbd48d80f268fefe81c2c65c 100644 (file)
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -5,11 +5,13 @@ on:
     branches: [ master ]
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ master ]
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
   schedule:
     - cron: '18 21 * * 1'
 

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 67b386372b5251da188c8127db2c467ac4f60483..2066ecde791fb6b1edb12d44ff4f118691fa9d81 100644 (file)
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -5,6 +5,7 @@ on:
     paths:
       # Something has to change in doc/ for thos workflow to be run.
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
   workflow_dispatch:
     inputs:

diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index 4be9d3c684fe4d0e8720d4ccd07c2eeba6f09a31..81798c32edde48d21a1ff45ad6aa56e90a302d38 100644 (file)
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -8,9 +8,11 @@ on:
       - 'master-*'
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 1481c929ba9d046d3b252647cbe62ad2723de3d4..312b9efba6ac8246c93c21e1b24223a9041ee4ad 100644 (file)
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -4,9 +4,11 @@ on:
   push:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
 
 permissions:
   contents: read #  to fetch code (actions/checkout)

diff --git a/.github/workflows/scan-build.yml b/.github/workflows/scan-build.yml
index 618cd7d7f1fe484b6901c7602d9ca985a3533590..5911df3e32d8bae05e2954cacc379ad3f1241b8f 100644 (file)
--- a/.github/workflows/scan-build.yml
+++ b/.github/workflows/scan-build.yml
@@ -4,9 +4,11 @@ on:
   push:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
   pull_request:
     paths-ignore:
       - "doc/**"
+      - "etc/schema.json"
 
 permissions: read-all