From 83db150d4d500cd6a1dc6d17a211b6165eb01a8f Mon Sep 17 00:00:00 2001 From: Hagen Wierstorf Date: Fri, 10 Nov 2023 17:25:41 +0100 Subject: [PATCH] CI: fix permissions to publish Github pages (#72) * CI: fix permissions to publish Github pages * Adjust to used action --- .github/workflows/publish.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 804febc..9652189 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -10,7 +10,10 @@ jobs: runs-on: ubuntu-latest environment: release permissions: + contents: write id-token: write + concurrency: + group: ${{ github.workflow }}-${{ github.ref }} steps: - uses: actions/checkout@v3