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

.github/workflows/cifuzz.yml

@@ -1,5 +1,10 @@
 name: CIFuzz
-on: [pull_request]
+
+on:
+  pull_request:
+    paths-ignore:
+      - "doc/**"
+
 permissions: read-all
 jobs:
  Fuzzing:

.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'
 

.github/workflows/formatting.yml

@@ -6,7 +6,11 @@ on:
     branches-ignore:
       - 'master'
       - 'master-*'
+    paths-ignore:
+      - "doc/**"
   pull_request:
+    paths-ignore:
+      - "doc/**"
 
 permissions: read-all
 

.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)

.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: