From 3e7f540e7f230bedd4cf969e175e2b6df55bf35a Mon Sep 17 00:00:00 2001 From: Mishig Davaadorj Date: Fri, 2 Feb 2024 16:23:46 +0100 Subject: [PATCH] [Doc build] only run when necessary --- .github/workflows/build_documentation.yml | 3 +++ .github/workflows/build_pr_documentation.yml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml index 53d94f16..c4058d1f 100644 --- 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 index 64c41ff8..d48ebd09 100644 --- 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 }}