From 6fe1820471607aa43bde02a5494d6a9b30608d58 Mon Sep 17 00:00:00 2001 From: Janek Date: Sat, 30 Dec 2023 19:23:22 +0100 Subject: [PATCH] Update deploy-docs.yml --- .github/workflows/deploy-docs.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 0790464..cbb11ef 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -5,6 +5,18 @@ on: branches: - main # Adjust this branch name if needed +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# 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. +concurrency: + group: "pages" + cancel-in-progress: false + jobs: build-and-deploy: runs-on: ubuntu-latest