diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 3ff53ea..8fbac93 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -41,7 +41,7 @@ jobs: steps: - name: Run docs build if: github.event_name != 'pull_request' - uses: actions/github-script@v7 + uses: actions/github-script@v8 with: # Token has to be generated on a user account that controls the docs-repository. # The _only_ scope to select is "Access public repositories", nothing more.