Run the docs updater automatically on changes to the docs, and *don't…

…* run CI on changes to the docs
speced · Nov 21, 2024 · 5b4d176 · 5b4d176
1 parent f43c4ca
commit 5b4d176
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -1,5 +1,10 @@
 name: Build Docs
 on:
+  push:
+    branches:
+      - main
+    paths:
+      - docs/index.bs
   workflow_dispatch: {}
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,8 @@ on:
     branches-ignore:
       - "dependabot/**"
       - "daily-test-sync"
+    paths-ignore:
+      - "docs/**"
   pull_request:
   workflow_dispatch: {}