diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 776a30d..4893999 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,7 +1,11 @@ # build the docs and deploy to github-pages name: Build Docs and Deploy to Pages -on: workflow_dispatch +on: + workflow_dispatch: + push: + branches: ["docs"] + # later: auto-build on version tags # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages @@ -59,4 +63,4 @@ jobs: steps: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 \ No newline at end of file + uses: actions/deploy-pages@v4