chore: dont run publish docs when there are only changes in docs dire…

…ctory
getstrm · Nov 1, 2023 · 685e9b6 · 685e9b6
1 parent a21c120
commit 685e9b6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - alpha # change this to the branch we're actively working on, as Gitbook can only sync from a single branch
+    paths-ignore:
+      - "docs/**"
 
 jobs:
   publish_docs: