From ae5c65fb4975e51c4f6901835b152b55cc233546 Mon Sep 17 00:00:00 2001
From: Jason Ish <jason.ish@oisf.net>
Date: Wed, 2 Aug 2023 10:49:07 -0600
Subject: [PATCH] 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     | 7 ++++++-
 .github/workflows/codeql.yml     | 4 ++++
 .github/workflows/formatting.yml | 4 ++++
 .github/workflows/rust.yml       | 8 ++++++--
 .github/workflows/scan-build.yml | 8 ++++++--
 5 files changed, 26 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml
index b8e3b277f2..8a55272ccc 100644
--- 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 17b0f75f73..3d13d276b0 100644
--- 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 4c17fecc86..ca7b018e36 100644
--- 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 9a9b8aecf7..b25c1bab58 100644
--- 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 ab80ed5812..ef9c10bf1d 100644
--- 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: