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