re-build docs only if relevant files have changed

francesco086 · francesco086 · commit b28724b6aef7 · 2023-02-26T11:54:35.000+01:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,6 +4,9 @@ on:
   push:
     branches:
       - main
+    paths:
+      - docs/*
+      - mkdocs.yml
 permissions:
   contents: write
 jobs:
