From 2a1caa3960c0e63c5f4f86396fde13c7651c14fe Mon Sep 17 00:00:00 2001 From: Leonardo Carreras Date: Fri, 7 Feb 2025 00:00:43 +0100 Subject: [PATCH] Change workflow: add permissions to write for the token for documentation Signed-off-by: Leonardo Carreras --- .github/workflows/documentation.yaml | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index a39e6b01d1..cb0de1bc9d 100644 --- a/.github/workflows/documentation.yaml +++ b/.github/workflows/documentation.yaml @@ -5,6 +5,8 @@ on: branches: - master + workflow_dispatch: + jobs: generate-reference: runs-on: ubuntu-latest @@ -38,10 +40,16 @@ jobs: path: ${{ github.workspace }}/reference name: reference-cache retention-days: 1 - + deploy: runs-on: ubuntu-latest needs: [generate-reference] + + permissions: + pages: write + id-token: write + contents: write + steps: - uses: actions/checkout@v4 @@ -81,7 +89,8 @@ jobs: - name: Deploy page uses: peaceiris/actions-gh-pages@v4 with: - github_token: ${{ secrets.GITHUB_TOKEN }} + github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./public - # keep_files: true - publish_branch: gh-pages \ No newline at end of file + publish_branch: gh-pages + user_name: 'github-actions[bot]' + user_email: 'github-actions[bot]@users.noreply.github.com'