Bump github-script action

.github/workflows/build-release.yml

@@ -105,7 +105,7 @@ jobs:
           startsWith(github.ref, 'refs/tags/v') &&
           contains(github.ref, 'alpha') != true &&
           contains(github.ref, 'beta') != true
-        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.

.github/workflows/documentation.yml

@@ -43,7 +43,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.