From 8a4007c85e3f232af6e84c46e7e053c4dbbecf96 Mon Sep 17 00:00:00 2001 From: mrbean-bremen Date: Mon, 1 Apr 2024 20:02:23 +0200 Subject: [PATCH 1/4] Set deploy-pages back to v4 - test in PR --- .github/workflows/builddocs.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index 5e52de997..d242acc80 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -6,12 +6,16 @@ on: push: branches: - master + pull_request: + branches: + - master # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: contents: read pages: write id-token: write + actions: read # 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. @@ -45,4 +49,4 @@ jobs: path: 'Docs/_site' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4 From 72bcbbbca7530c6514f9ef9060ab59038083e833 Mon Sep 17 00:00:00 2001 From: mrbean-bremen Date: Mon, 1 Apr 2024 20:45:33 +0200 Subject: [PATCH 2/4] Extra commit for the sake of Nerdbank.GitVersioning --- .github/workflows/builddocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index d242acc80..14290543b 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -12,10 +12,10 @@ on: # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: + actions: write contents: read pages: write id-token: write - actions: read # 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. From dcc839cc409f962b6b4f24f815fbd6ec2cbf319e Mon Sep 17 00:00:00 2001 From: mrbean-bremen Date: Mon, 1 Apr 2024 21:18:59 +0200 Subject: [PATCH 3/4] Going back to version 3 again --- .github/workflows/builddocs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index 14290543b..de4c6c1db 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -12,10 +12,10 @@ on: # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: - actions: write + id-token: write contents: read pages: write - id-token: write + actions: read # 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. @@ -49,4 +49,4 @@ jobs: path: 'Docs/_site' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 + uses: actions/deploy-pages@v3 From 0f32d0c506de6c695c14b1b9dfd60200cb04ae96 Mon Sep 17 00:00:00 2001 From: mrbean-bremen Date: Tue, 2 Apr 2024 19:19:16 +0200 Subject: [PATCH 4/4] Move permissions into job --- .github/workflows/builddocs.yml | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) 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