diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index de4c6c1db..0914712ed 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -6,16 +6,11 @@ on: push: branches: - master + - deploy-docs pull_request: branches: - master - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - id-token: write - contents: read - pages: write - actions: read + - deploy-docs # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. @@ -29,6 +24,14 @@ jobs: name: github-pages url: ${{ steps.deployment.outputs.page_url }} runs-on: windows-latest + + # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages + permissions: + id-token: write + contents: read + pages: write + actions: read + steps: - name: Checkout uses: actions/checkout@v4 @@ -49,4 +52,4 @@ jobs: path: 'Docs/_site' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4