From 2aeffd73801862104745d2736c17219a17c40109 Mon Sep 17 00:00:00 2001 From: Dezhi Cai Date: Thu, 7 Jul 2022 19:49:00 +0800 Subject: [PATCH] [build] Build document site only if current PR modified files under docs (#1230) This closes #343. --- .github/workflows/build_docs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index c7d5ba2cb..41965ff6d 100644 --- 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: