Avoid running CI for changes to the docs.

ztangent · ztangent · commit 6f7547726e30 · 2024-10-06T12:33:30.000-04:00
diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml
@@ -6,8 +6,18 @@ name: ContinuousIntegration
 on:
   push:
     branches: [ master ]
+    paths-ignore:
+      - 'docs/**'
+      - 'README.md'
+      - 'CONTRIBUTING.md'
+      - 'WEBSITE.md'
   pull_request:
     branches: [ master ]
+    paths-ignore:
+      - 'docs/**'
+      - 'README.md'
+      - 'CONTRIBUTING.md'
+      - 'WEBSITE.md'
 
 jobs:
   ContinuousIntegration:
