From 135f5c5a67648e7e8cf8070496359544ef33fbad Mon Sep 17 00:00:00 2001 From: Tim van Dijen Date: Wed, 17 Jan 2024 21:20:28 +0100 Subject: [PATCH] Bump github-script action --- .github/workflows/documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.