[gh-actions] No compilation workflows if just docs/htdocs/web-src changed

.github/workflows/codeql-analysis.yml

@@ -2,10 +2,19 @@ name: "CodeQL"
 
 on:
   push:
-    branches: [master, ]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   pull_request:
-    # The branches below must be a subset of the branches above
-    branches: [master]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   schedule:
     - cron: '0 19 * * 6'
 

.github/workflows/macos.yml

@@ -2,9 +2,19 @@ name: MacOS
 
 on:
   push:
-    branches: [ master ]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   pull_request:
-    branches: [ master ]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   workflow_dispatch:
 
 jobs:

.github/workflows/ubuntu.yml

@@ -2,9 +2,19 @@ name: Ubuntu
 
 on:
   push:
-    branches: [ master ]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   pull_request:
-    branches: [ master ]
+    branches:
+      - master
+    paths-ignore:
+      - 'docs/**'
+      - 'htdocs/**'
+      - 'web-src/**'
   workflow_dispatch:
 
 jobs: