Merge pull request #12 from simplesamlphp/dependabot/github_actions/all-actions-d49115c731

Bump actions/github-script from 7 to 8 in the all-actions group

Author: tvdijen

.github/workflows/documentation.yml

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