From e9f2e24bb5edfd6f5cef9b7d798ae386f75e675e Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Thu, 4 Aug 2022 17:22:37 +0200 Subject: [PATCH] Only publish documentation when changed --- .github/workflows/publish_documentation.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index c06d535f0..34eff8f34 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -5,6 +5,9 @@ on: push: branches: - develop + paths: + - docs/mkdocs/** + - docs/examples/** # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications concurrency: