From 91b98369f23ea4a57f519eb1efa4e5a155a4acc9 Mon Sep 17 00:00:00 2001 From: Sebastian Nagel Date: Thu, 11 Jul 2024 08:30:43 +0200 Subject: [PATCH] Fix permissions of publish docs workflow --- .github/workflows/publish-docs.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/publish-docs.yaml b/.github/workflows/publish-docs.yaml index a5d27d0bcd7..e82fc6b865f 100644 --- a/.github/workflows/publish-docs.yaml +++ b/.github/workflows/publish-docs.yaml @@ -11,6 +11,8 @@ jobs: publishing: name: Publish Documentation runs-on: ubuntu-latest + permissions: + contents: write # if: ${{ github.event.workflow_run.conclusion == 'success' }} steps: