diff options
author | Benjamin Brahmer <info@b-brahmer.de> | 2021-11-15 19:11:33 +0100 |
---|---|---|
committer | Benjamin Brahmer <info@b-brahmer.de> | 2021-11-15 19:11:33 +0100 |
commit | 1e9225c662a0d4418f03a52a50a0cf4ad4259b34 (patch) | |
tree | bf6a89216fd3dd90fc2722f3acbd41678d29e35c /.github/workflows/documentation.yml | |
parent | 9e2c2b5f541893565a2af3ca9e34d83156ed82ab (diff) | |
parent | 40b49b77de50b8adedbe7da93cb0c63c62187b3f (diff) |
Merge branch 'master' into stable16stable16
Diffstat (limited to '.github/workflows/documentation.yml')
-rw-r--r-- | .github/workflows/documentation.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 409fb4da8..6fb51112a 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -3,6 +3,8 @@ on: push: branches: - master + paths: + - 'docs/*' jobs: build: @@ -10,7 +12,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout master - uses: actions/checkout@v2 + uses: actions/checkout@v2.4.0 - name: Deploy docs uses: mhausenblas/mkdocs-deploy-gh-pages@master |