From 92741ed2adba1e943f7022cfb1d407722fd766aa Mon Sep 17 00:00:00 2001
From: Matteo Golin <matteo.golin@gmail.com>
Date: Wed, 16 Oct 2024 13:41:26 -0400
Subject: [PATCH] ci: documentation workflow is now only triggered when the
 Documentation subdirectory has modifications

---
 .github/workflows/doc.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 451822366f3f2..9836fb4723add 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -12,9 +12,17 @@
 #
 ---
 name: "Build Documentation"
+
 on:
-  pull_request:
   push:
+    branches:
+      - master
+    paths:
+      - 'Documentation/**'
+
+  pull_request:
+    paths:
+      - 'Documentation/**'
 
 concurrency:
   group: docs-${{ github.event.pull_request.number || github.ref }}