diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index ab827c2..a9e3c51 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -42,7 +42,7 @@ jobs: steps: - name: Run docs build if: github.event_name != 'pull_request' - uses: actions/github-script@v6 + uses: actions/github-script@v7 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.