From c947b013a266c9e830b2d9f18cada10ad38eb5cd Mon Sep 17 00:00:00 2001
From: purple_emily <purple_emily@protonmail.com>
Date: Sun, 10 Mar 2024 11:40:58 +0000
Subject: [PATCH] Only run when the `docs` folder is changed

---
 .github/workflows/build-docs.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml
index 2b7ac16..b82b6b6 100644
--- a/.github/workflows/build-docs.yaml
+++ b/.github/workflows/build-docs.yaml
@@ -5,6 +5,8 @@ name: Build documentation
 on:
   push:
     branches: ["master"]
+    paths:
+      - 'docs/**'
   # Specify to run a workflow manually from the Actions tab on GitHub
   workflow_dispatch: