From 87d9dcfb84dd6729e7bd22c2096d8a5fb287d2b9 Mon Sep 17 00:00:00 2001
From: Tim Huyeng <huyeng@iib.tu-darmstadt.de>
Date: Tue, 22 Nov 2022 15:44:24 +0100
Subject: [PATCH] update build workflow to only run if changes inside docs
 folder

---
 .github/workflows/docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 01942ac9..e31a8db0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -4,6 +4,9 @@ on:
     branches:
       - master
       - mkdocs
+    paths:
+      - 'mkdocs.yml'
+      - 'docs/**'
 jobs:
   deploy:
     runs-on: ubuntu-latest