Merge pull request #23 from huggingface/only_run_docbuild_when_necessary

[Doc build] only run when necessary
huggingface · Feb 2, 2024 · 6267b22 · 6267b22
2 parents 33ffcfd + 3e7f540
commit 6267b22
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 }}