[build] Build document site only if current PR modified files under docs (#1230)

This closes #343.
3 years ago · 2aeffd7380
parent 8f6078d12a
commit 2aeffd7380
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/build_docs.yml
+++ b/.github/workflows/build_docs.yml
@ -3,6 +3,8 @@ name: build_docs
 # execute this docs build workflow automatically when new push happens in any branch
 on:
  push:
+    paths:
+      - 'docs/**'
 
 jobs: