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: