From 184ca45da34146b413ac1a3774026fd848633d29 Mon Sep 17 00:00:00 2001
From: Markus Schmidt <markus262@web.de>
Date: Thu, 2 Nov 2023 14:06:46 +0100
Subject: [PATCH] filter more

---
 .github/workflows/gh-pages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 15a830f1de7..7b536466bac 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -7,6 +7,10 @@ on:
   push:
     branches:
       - develop
+    paths:
+      - 'mkdocs.yml'
+      - 'sootup.examples/**'
+      - 'docs/**'
 
   release:
     types: [ created, published ]
@@ -22,6 +26,8 @@ on:
       - 'sootup.examples/**'
       - 'docs/**'
 
+concurrency: pages
+
 permissions:
   contents: write
   pull-requests: write