Update Github workflow to trigger on changes in the docs directory

XavierCLL · XavierCLL · commit 7b7e5e5ba494 · 2025-12-24T09:56:37.000-05:00
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    paths:
+      - "docs/**"
 
 concurrency:
   group: "pages"
