github-ci: disable some workflows on doc only changes

Don't run the following GitHub workflows on documentation only
changes:
- cifuzz
- codeql
- formatting
- rust
- scan-build

diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml
index b8e3b277f2f3496f12671c6a96fbfaa45f9ea6db..8a55272cccbd38b8da389366d0d17a5a72c30a14 100644 (file)
--- a/.github/workflows/cifuzz.yml
+++ b/.github/workflows/cifuzz.yml
@@ -1,5 +1,10 @@
 name: CIFuzz
-on: [pull_request]
+
+on:
+  pull_request:
+    paths-ignore:
+      - "doc/**"
+
 permissions: read-all
 jobs:
  Fuzzing:

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 17b0f75f7332c70d42f22938e10193054eec4704..3d13d276b02a1f2cfa725a79588b74ced9b54281 100644 (file)
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -3,9 +3,13 @@ name: "CodeQL"
 on:
   push:
     branches: [ master ]
+    paths-ignore:
+      - "doc/**"
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ master ]
+    paths-ignore:
+      - "doc/**"
   schedule:
     - cron: '18 21 * * 1'
 

diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index 4c17fecc8685fb6f41bbb6afd024aa17d277bac7..ca7b018e36dfd97688b6c62f56ae960b3981c60d 100644 (file)
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -6,7 +6,11 @@ on:
     branches-ignore:
       - 'master'
       - 'master-*'
+    paths-ignore:
+      - "doc/**"
   pull_request:
+    paths-ignore:
+      - "doc/**"
 
 permissions: read-all
 

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 9a9b8aecf7e0c9a70f02b3713cb218f7748d72f8..b25c1bab5872d09e813752b181d0f26a2f5a51a4 100644 (file)
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -1,8 +1,12 @@
 name: Check Rust
 
 on:
-  - push
-  - pull_request
+  push:
+    paths-ignore:
+      - "doc/**"
+  pull_request:
+    paths-ignore:
+      - "doc/**"
 
 permissions:
   contents: read #  to fetch code (actions/checkout)

diff --git a/.github/workflows/scan-build.yml b/.github/workflows/scan-build.yml
index ab80ed581282c0f7f861aa222fccd90f4742c43d..ef9c10bf1df9f2d2c58dde99282ef329db783cce 100644 (file)
--- a/.github/workflows/scan-build.yml
+++ b/.github/workflows/scan-build.yml
@@ -1,8 +1,12 @@
 name: Scan-build
 
 on:
-  - push
-  - pull_request
+  push:
+    paths-ignore:
+      - "doc/**"
+  pull_request:
+    paths-ignore:
+      - "doc/**"
 
 jobs:
   scan-build: