[Doc build] only run when necessary

huggingface · Feb 2, 2024 · 3e7f540 · 3e7f540
1 parent 33ffcfd
commit 3e7f540
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
@@ -2,6 +2,9 @@ name: Build documentation
 
 on:
   push:
+    paths:
+      - "notebooks/**"
+      - ".github/workflows/build_documentation.yml"
     branches:
       - main
 

diff --git a/.github/workflows/build_pr_documentation.yml b/.github/workflows/build_pr_documentation.yml
@@ -2,6 +2,9 @@ name: Build PR Documentation
 
 on:
   pull_request:
+    paths:
+      - "notebooks/**"
+      - ".github/workflows/build_pr_documentation.yml"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}