diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index 5e52de997..0d4c0bdd2 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -6,6 +6,9 @@ on: push: branches: - master + pull-request: + branches: + - master # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: @@ -45,4 +48,4 @@ jobs: path: 'Docs/_site' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4